It was a mistake, so I'm not trying to pile on here at all, but my thought when looking at it was man, it's only $10,500 for a HEP restored TAF?
For the OP, don't take Pinside's pricing as the end word on pricing for a machine. Home Use Only machines, especially older ones, command a large premium. Often, HEP restores command a premium above HUO machine pricing from back in the day.
But, if your HUO machine was in a barn with no glass on it, it's not going to be worth that much. Condition is really king, and can really slide those numbers around a lot, especially the older you get.
Additionally, for restorations, if you think about how much all the parts might cost for this, combined with the amount of time it takes to do them, the pricing is actually pretty reasonable. At $50 / hour, and thinking there are only $2000 in parts, a $7000 restoration should only take 100 hours to do.
I've spent more than $2000 in parts and more than 100 hours on some of the restorations I have done myself.