Learned that Busch Stadium has a basement. Does it hold 40,000?