$4500 is a good price, seems like a huo completely original TSPP is $4500-5000. Does it have any additional mods? Such as LEDs, colordmd etc? The original price was around 3000-3500, but unfortunately prices on pinball have increased exponentially since the early 2000s when this was released.