According to NBC4, who first reported the numbers, RFK stadium parking lot can hold 1,300 buses.
The story points out that buses can park in other areas of Washington. The stadium parking lot is the largest city-run spot that can accommodate a large number of vehicles.
About the Author