It's still not a bad price, realistically. They aren't making any more, and I'm sure there was alot of money spent on upkeep and storage. I say pay the $20k; the more they sell for the more they are theoretically worth.