 I was just checking the Vegas odds for the Trump running mate. Whether it's Tom Cotton, J.D. Vance, who's got, what are the odds makers? They usually, they're pretty good at this. But leave it to Trump. Probably he's the only one who knows, right? He's the master of marketing. He'll surprise someone.