 He's a good guy, but we're going to hate to lose J.D. Vance. I'm telling you, he's one of the young stars. And I talked to President Trump about him this morning. He called me about 7 o'clock. He was still a little undecided. I think he was leaning that way, but a little undecided.