Question: What is the seating capacity of the home stadium of the Gulf Coast League Braves?

full_context: Document 1: Gulf Coast League Red Birds: The Gulf Coast League Red Birds were a minor league baseball team, that played in Sarasota, Florida. The GCL Red Birds were a second team established in the Gulf Coast League as an affiliate of the St. Louis Cardinals, from 1972-1973. The club played alongside with the Cardinals' other affiliate, the Gulf Coast Cardinals. A frequent designated hitter for the Red Birds was Randy Poffo, who would become famous as wrestler Randy "Macho Man" Savage.
Document 2: Champion Stadium: Champion Stadium is a baseball stadium located at the ESPN Wide World of Sports Complex in the Walt Disney World Resort. The stadium was built in 1997. It is the spring training home of the Atlanta Braves and is the home for the Rookie-league GCL Braves. The stadium has a capacity of 9,500 including seating in the berm area. It features four luxury boxes and two open-air party suites. In January 2017, the Braves announced a formal agreement to move their spring training home to North Port, Florida.
Document 3: Turner Field: Turner Field was a baseball park located in Atlanta, Georgia. From 1997 to 2016, it served as the home ballpark to the Atlanta Braves of Major League Baseball (MLB). Originally built as Centennial Olympic Stadium in 1996 to serve as the centerpiece of the 1996 Summer Olympics, the stadium was converted into a baseball park to serve as the new home of the team. The Braves moved less than one block from Atlanta–Fulton County Stadium, which served as their home ballpark for 31 seasons from 1966 to 1996.
Document 4: Hank Aaron Stadium: Hank Aaron Stadium is a baseball park in Mobile, Alabama. It hosts the Mobile BayBears, a minor-league professional team in the Southern League. The stadium opened in 1997 and has a capacity of 6,000. The ballpark was named after Major League Baseball's home run king (1974-2007) and Mobile native Hank Aaron. It also features a commemorative plaque outside the stadium to honor each Mobilian enshrined at the Hall of Fame in Cooperstown, New York. Hank Aaron Stadium is unique in that the luxury suites are at field level. Thus, infield seating for the general public is elevated from the field by approximately 20 feet.
Document 5: The Diamond (Richmond, Virginia): The Diamond is a baseball stadium located in Richmond, Virginia, USA, on Boulevard. It is the home of Richmond Flying Squirrels of the Eastern League and the Virginia Commonwealth University baseball team. From 1985 to 2008, it was the home of the Richmond Braves, the Triple-A minor league baseball affiliate of the Atlanta Braves. The Diamond seats 12,134 people for baseball; however, for Flying Squirrels games, advertising banners cover up the top rows of the upper deck, reducing seating capacity to 9,560. It replaced the demolished Parker Field, which had been built in 1934, as part of the fair grounds. Parker Field had been converted for baseball in 1954, replacing Mooers Field. Parker Field housed the Braves from 1966 to 1984. In 2003, part of The Diamond's roof was destroyed by Hurricane Isabel, and in 2004 a piece of a concrete beam (size of a football) fell on the stands below, though no fans were injured.
Document 6: Arizona League Dodgers: The Arizona League Dodgers are the Rookie Level minor league affiliate of the Los Angeles Dodgers. They were formerly known as the Gulf Coast League (GCL) Dodgers and played in Vero Beach, Florida, at Dodgertown (specifically on the historic Field One). Dodgertown includes Holman Stadium, which is also the former spring training home to the Brooklyn and Los Angeles Dodgers. The team was composed mainly of players who were in their first year of professional baseball either as draftees or non-drafted free agents.
Document 7: Centennial Olympic Stadium: Centennial Olympic Stadium was the 85,000-seat main stadium of the 1996 Summer Olympic Games and the 1996 Summer Paralympic Games in Atlanta. Construction of the stadium began in 1993, and it was complete and ready for the Opening Ceremony in July 1996, where it hosted track and field events and the closing ceremony. After the Olympics and Paralympics, it was reconstructed into the baseball-specific Turner Field, used by the Atlanta Braves of Major League Baseball for 20 seasons (1997–2016). After the Braves departed for SunTrust Park, the facility was purchased by Georgia State University, which rebuilt the stadium a second time as Georgia State Stadium, designed for American football.
Document 8: List of Tampa Bay Rays first-round draft picks: The Tampa Bay Rays are a Major League Baseball franchise based in St. Petersburg, Florida. The Rays (formerly the Tampa Bay Devil Rays) compete in the American League East division. Since the franchise was established in 1995, the Rays have selected 33 players in the first round. Officially known as the "First-Year Player Draft", the Rule 4 Draft is Major League Baseball's primary mechanism for assigning amateur baseball players from high schools, colleges, and other amateur baseball clubs to its teams. The draft order is determined based on the previous season's standings, with the team possessing the worst record receiving the first pick. In addition, teams which lost free agents in the previous off-season may be awarded compensatory or supplementary picks. The First-Year Player Draft is unrelated to the 1997 expansion draft in which the Rays filled their roster.
Document 9: The Ballpark of the Palm Beaches: The Ballpark of the Palm Beaches is a baseball park located in West Palm Beach, Florida. The stadium has a capacity of 6,500 people in fixed seats with room for 1,000 more on the outfield berm. The stadium hosts the Houston Astros and Washington Nationals Major League Baseball teams annually for spring training. They also host the Gulf Coast Astros and the Gulf Coast Nationals of the Rookie-level Gulf Coast League.
Document 10: Atlanta Braves: The Atlanta Braves are an American professional baseball franchise based in the Atlanta metropolitan area. The franchise competes in Major League Baseball (MLB) as a member of the National League (NL) East division. The Braves played home games at Atlanta–Fulton County Stadium from 1966 to 1996, and Turner Field from 1997 to 2016. Since 2017, their home stadium has been SunTrust Park, a new stadium 10 miles (16 km) northwest of downtown Atlanta in the Cumberland neighborhood of Cobb County. The Braves play spring training games in Lake Buena Vista, Florida. In January 2017, the Braves announced a formal agreement to move their spring training home to North Port, Florida.
Document 11: Tropicana Field: Tropicana Field, also commonly known as The Trop, is a domed stadium in St. Petersburg, Florida, United States, that has been the home of the Tampa Bay Rays of Major League Baseball (MLB) since the team's inaugural season in 1998. The stadium is also used for college football, and since December 2008 has been the home of the St. Petersburg Bowl, an annual postseason bowl game. It is currently the only non-retractable domed stadium in Major League Baseball, and is the smallest MLB stadium by seating capacity when obstructed-view rows in the uppermost sections are covered with tarp as they are for most Rays games.
Document 12: Gulf Coast League Athletics: The Gulf Coast League Athletics were a minor league baseball team, that played in Bradenton, Florida from 1967-1968. The club played in the rookie-level Gulf Coast League as an affiliate of the Kansas City/Oakland Athletics. The GCL Athletics won the Gulf Coast League title in both years of their existence.
Document 13: List of Tampa Bay Rays minor league affiliates: The Tampa Bay Rays farm system consists of nine Minor League Baseball affiliates across the United States and in the Dominican Republic. Five teams are independently owned, while four—the Princeton Rays, Gulf Coast League Rays, and two Dominican Summer League Rays squads—are owned by the major league club.
Document 14: Roger Dean Stadium: Roger Dean Stadium is a baseball stadium located in the Abacoa community of the town of Jupiter, Florida. The stadium was built in 1998, holds 6,871 people, and features luxury sky-box seating, two levels of permanent seating, parking and concessions. The Roger Dean Stadium Complex is the only stadium in the country to host four minor league teams: the Jupiter Hammerheads and Palm Beach Cardinals of the Class A-Advanced Baseball Florida State League, and the Gulf Coast Marlins and Gulf Coast Cardinals of the Rookie-level Gulf Coast League.
Document 15: Gulf Coast League Braves: The Gulf Coast League Braves are the rookie-level minor league baseball affiliate of the Atlanta Braves. The team plays at the Walt Disney World Resort at Champion Stadium at Disney's Wide World of Sports Complex. The team is composed mainly of players who are in their first year of professional baseball either as draftees or non-drafted free agents from the United States, Canada, Dominican Republic, Venezuela, and other countries.
ground_truth: 9,500