I can understand where you are coming from. I am constantly "tweaking" and modding my pins. That is my choice, but I know a lot (and I mean a lot) of people who buy something and don't want to perform corrective maintenance on a newish machine. As long as you are happy that's all that matters.
It's funny how the flippers are quick to post "the market is what you can get" but as soon as a low sale goes down they are up in arms. I have been monitoring the hulk market. Prices are getting to this point for machines without issues. I think you got a good deal. The person who bought it will get free parts from stern and will repair it. They will have fun with it, and both parties are happy. This was a great sale.