If used 17-yr-old TC shows $9k on NADA... for one in great condition as far as looks go (appears to have not been used much at all), would you pay NADA or how much less? To get a good deal.
Seems it'd been really, really, really easy to have sold it yourself for lots more than $4000!!! Heck I'd have given you more sight unseen if it ran and wasn't wrecked.