 Pat can get it later. The other thing for Ogden is I mentioned city council meeting tonight. Not a really long agenda. That's what he said. Pretty quick. They start at 6. Should be done... Well, it depends. Because they'll have council members talking about a few different things at the end. But it's a relatively short agenda. So maybe a half hour or so. Depends what they've got going. How many want to get out for the game? Well, I was going to say you're going to have to move. So...