I've played quite a bit of Thunderbirds and even got 2nd place in our local launch party. While it's not great, and not exactly my cup of tea, it is a perfectly passable pinball machine and not a toy. The $4,025 the OP is asking is actually a very fair asking price, but there are obviously quite a few better machines in that price range on the second hand market that he will be competing with.