If they purchased the car 7 years ago I doubt they got it for that price. GP says "without controlling for depreciation"

I don't know US law but if the contract is void the original purchasing price would have to be given back in most countries.

You mean 13k (got the offer some months ago. Probably less now). That includes VAT by the way. On a VAT-car