 All right, so on the political front, there is a selection by the former president, Donald Trump, for a running mate. It's J.D. Vance, the U.S. senator from Ohio. The decision was announced within the past half hour since you went on the air. In your window, Dave. You've got to be happy about that. I like that.