Tash and
to Aussie Pinball
Don't be discouraged from pinball prices. You just need to be patient and you might see a cheap TSPP privately. Dealer & eBay prices are always inflated - so don't use it a "gospel" on pricing.
By all means, ask any questions on the forum and there will always be someone glad to help.