I'd agree with that. As simple as it is, I have always had a soft spot in my heart about this game. There was one in the local bowling alley when I was a kid.

I think of it this way: You didn't want the machine. Hopefully you made someone happy with a machine they really wanted at a fair deal. (A smoking deal would have been something less in my opinion) There's some work and some expense to be done to make this a nicer game so the new owner can do that a reasonably not be "putting too much" into the game. I feel pretty happy when I can sense a buyer truly cherishes a game that I sold to them, and that's something you can't put a price on. I'd rather have the good feeling about the deal than the extra few hundred bucks. You did fine and now you have seed money for your next pin or whatever.