 And then there was conversation about leading up to the Republican convention, not about what happened at the tail end of the week, of course, the shock of that, but the speculation over who Donald Trump will pick as his running mate. Will it be Senator J.D. Vance from Ohio? Marco Rubio really wants that. I hear from people I know in Florida, they're top on the list. They're not the only ones on the list, but certainly top on the list.