 especially given the Republican National Convention being here. I mean, I am a Democrat. I don't subscribe to the Republican Party platform, certainly not a supporter of Mr. Trump. So I wanted to make sure folks had the platform to do that, and we did. The protests went very, very well here in Milwaukee, so I've got no concerns about that. So let's talk about the economic impact of all of this. With this major convention in town, how did the city do? Did it boost businesses? Did it give you an economic boost?