Did they actually market it as restored? What you described is shopping the game, not restoring it. Basically they cleaned it up and replaced the rubbers and probably a few bulbs. A fully restored TAF would probably be pushing on $12k, but the game would have to be perfect. The TAF you're describing is robbery at that price-point.