Free bump; I don't want to give Greg a hard time, I am sure he loved the game at first and he has not said what motivated the sale.
I think I would be a buyer for sure in the $7500 range in the highly unlikely event that actually happens. I could see these settling in the 9's. My main hesitation is stuff like having to play the virtual pinball game over and over again (not a huge fan of video modes, even if they are virtual pinball) and the fact there is one on location in my town to play when I drag my butt out there to play.