 down in Florida in the winter, and he lives up in Missouri in the summer. And he goes back and forth. I think he has a condo in both places. I'm not sure. And he's retired. He's been retired for many, many years. He's 82 or 83 now, something like that. And he's been retired since he was probably, I got to guess, 60. I don't know when they allow you to retire. So a lot of people go, well, I would really never like to retire. And