 And I'm curious, now that we're back, and let's talk a little bit about the vice presidential running mate. Do you like any of those guys as Trump's VP? And again, this is the Washington Post. Take it with a grain of salt. It may not mean anything. But they say J.D. Vance, Marco Rubio, or Doug Burgum. Who do you like on that list? And if you don't like them, why not?