Question: What is the seating capacity of the home stadium of the Gulf Coast League Braves?
Context: 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 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. Braves Field was a baseball park in the Northeastern United States, located in Boston, Massachusetts.  Today the site is home to Nickerson Field on the campus of Boston University.  The stadium was home of the Boston Braves of the National League from 1915–1952, prior to the Braves' move to Milwaukee in 1953.  The stadium hosted the 1936 Major League Baseball All-Star Game and Braves home games during the 1948 World Series.  The Boston Red Sox used Braves Field for their home games in the 1915 and 1916 World Series since the stadium had a larger seating capacity than Fenway Park.  Braves Field was the site of Babe Ruth's final season, playing for the Braves in 1935.  From 1929 to 1932, the Boston Red Sox played select regular season games periodically at Braves Field.  On May 1, 1926, Braves Field hosted the longest baseball game in history – 26 Innings.  The game ended in a 1–1 tie. 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. 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. 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. 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. 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. 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. 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.
Answer: 9,500