Question: What is the capacity of the stadium where the Gulf Coast League Braves play ?

Context paragraphs:
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.

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.

Vladimir Núñez: Vladimir Núñez Zarabaza (born March 15, 1975) is a former Major League Baseball relief pitcher.  He is currently the pitching coach for the Gulf Coast League Braves of the Gulf Coast League.  He played for the Arizona Diamondbacks, Florida Marlins, Colorado Rockies, and Atlanta Braves.

Kingsport Mets: The Kingsport Mets are a Minor League Baseball team of the Appalachian League and the Rookie affiliate of the New York Mets.  They are located in Kingsport, Tennessee, and are named for the team's major league affiliate.  The team plays its home games at Hunter Wright Stadium which opened in 1995 and has a seating capacity of 2,500.  The Mets previously played at Dobyns-Bennett High School.  In 1983, while Dobyns-Bennett's field was being renovated, the team temporarily moved to Sarasota, Florida, and played in the Gulf Coast League as the Gulf Coast League Mets.

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.

Gulf Coast League Rangers: The Gulf Coast League Rangers, or GCL Rangers were a minor league baseball club in the Gulf Coast League between 1973 and 2002.  The club was consistently competitive winning eight league championships and seven division titles, while only posting five losing seasons.  The gteam originally played in Sarasota, Florida until 1987, when it relocated south to Port Charlotte, Florida.  The team left the Gulf Coast League in 2003 for the Arizona League as exists today as the Arizona League Rangers.

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.

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.

Gulf Coast League Orioles: The Gulf Coast League Orioles are a minor league baseball team that plays in the Gulf Coast League.  The Orioles were originally a team from 1991–2003, but were reactivated in 2007.  The Orioles play their home games in Sarasota, Florida at Ed Smith Stadium, which became the spring training home to the Orioles at the start of the 2010 season.

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.

Supporting paragraphs: Gulf Coast League Braves Champion Stadium
Answer: 9,500