Hey guys, I was the one that snagged it.
It was a great deal and I was very upfront with the buyer. My friend owns a free play retro arcade here in town (I do all the repairs) and we contacted the guy about buying the pinball. He is a retired lawyer and he stuck to the price he set even though he knew it was low. He knew it would be going to a good home so he was happy about selling it to us. It didn't need too much work, some fried molex connectors on the power board and some new diodes on the flippers and it was up and running fine. Needs some new lamps, but all in all it was an excellent purchase. I saw this post over here and figured I had to reply.
This is my first pin to own straight up...normally it's been old arcade machines. I'm super pumped about finally owning one, and it's really got me wanting to make the transition from arcades to pins! I just wish all the pins I found were such great deals!