 And part of that $70,000 is an RV trailer that he just bought last year. And he owes $53,000 on it. But it's only worth, we went to look to see what we could sell it for. And we think we can maybe sell it for $35,000, maybe $40,000 if we're lucky. And what we're wondering is,