Question: What is the seating capacity of the home stadium of the Gulf Coast League Braves?
Related documents: [0]  [DOC] 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. [END] 
[1]  [DOC] 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. [END] 
Answer: 
9,500
9,500