 All the reporting is that is exactly right. And I would add to that equation the fact that Elon Musk personally called him. That was what CNN was reporting and made a play for J.D. Vance. And you know how politics works. It's an interesting timeline that hours after the J.D. Vance pick, Elon Musk announced that he's putting $45 million a month.