I've said this before, if you want to know where the market for pinball prices in Australia will be in the next 9-12 months, just follow the US pinball market.

I have a really nice example with new decals, cleared playfield etc and it would take close to $7k for it to leave my collection at this stage. I don't really think they are worth that much though. Along with many other machines I suppose. 

It isn't what you think it is worth, it is what the market says it is worth. 

Two TOTAN's sold for over $8k in Aus in the last week as well, not just the one mentioned earlier.....