High Roller Casino is usually a $3300 to $4500 pinny tops, depending on which state it is selling in...condition dependant ofcourse...etc...
(excluding the figures from this auction which were way way overpriced etc) general pinball prices this last month or two around Australia are the LOWEST I have ever seen.

Great for experienced buyers, real bad for the vast majority of sellers...