 And we're going to be just fine if I wanted to wait until age 59 1⁄2 to retire. But I keep thinking about retiring all the time, and so I'm trying to figure out a way to do it earlier. And when we hit Baby Step 7, I took my retirement savings 401K from 15% up to 25% just to try to save like crazy. How much is in there now? About $750,000. Cool. And your house is paid for. What's it worth?