 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. Okay. And what we're wondering is, because it needs a repair also, it's broke, so it needs about $4,000 worth of repairs just to get it sellable.