 For you folks in Germantown, Tennessee, that would be 50-cent pity, as we call him affectionately. So there you go. That could be interesting. We'll have to see whether or not that happens. But, again, a lot of excitement right now coming out of Milwaukee. People are saying, oh, it could be RFK Jr. That could be the VP pick. I don't know.