 And they used that thing for everything. They used it for truck pulls. And they had the big screen. That was one of the first of its kind to be so huge. And they were worried about punting the ball and hitting it because it was too low. But they said it took 6,000 people on a game day employed to run the operations. That's how many people they had. I could not believe that. And then I heard what it cost to run the AC. How much?