 Okay, going to 10. All right, great. And do you guys own a home? We do. We actually got incredibly lucky. We bought it in 2018 for $430, and it's now worth about $850 if you trust Zillow. Get out of here. My goodness. We're in a college town. Oh, my gosh. I like that you said you were lucky because many people would say, I was so smart that I bought a house. No, you got lucky. I get it. Okay, is there a mortgage outstanding? Yes.