I really enjoyed playing that game when it was brand new and in the arcade. It is one I would buy but I don't think I could justify $1,800 for it. I would be more apt to buy one for a few hundred less and clean it up myself. That's just my opinion though.
It's not like you can find the pin you like near you every day of the week.