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.....
