 That was the case. Yeah. I mean, like I said, I know the people in the southern part of the state would love to see him in Cincinnati. As we said, he's a resident of Pittsburgh, and obviously the Pirates in the northern part of the state are normally a team that the locals up here cheer for. But I don't think he makes it to nine. Doesn't sound like it, at least. Cincinnati has a shot, though. Very much so.