 And then he's buying them back when the price goes down again. So he's made like $60 billion on just doing that. So, I mean, things are going okay. Okay. Oh, and out of the border, too. I just came from the border. You know what I saw? I spent like almost two weeks on the border in Arizona. I saw more Border Patrol agents than I've ever seen in my life.