 When you get to that size, though, and that price, like those houses don't go down in price no matter what the economy does. And I can't imagine him ever selling it. No. I mean, that's going to be a family estate for a long time. And his family's growing. So anyway.