 So I got real concerned. Now, he may be a great guy. I don't know him personally. His advent into politics came after me. I knew most of the Republican senators at the time that I beat Murkowski and the subsequent races that I had, but I don't know him. And I've never really talked to any of my contacts in D.C. about him. I mean, J.D. Vance is certainly saying the right things, or at least has been. What he's saying is what he believes. I think he's a phenomenal pick.