Does sound expensive. You would have to guess the seller would be happy with an offer over $4500.
You would have to really want the game as I can think of a few other real good pins I could get for that money (or even a couple of lesser but still good titles).
