ken priest (
www.pinballwarehouse.com.au) in qld sells em for $3900, but they are fully redecalled incl all cabinet, headbox, etc and are usually in amazing condition.
The machines are fully shopped.You get what u pay for.If you like tinkering, look around for a bargain, but if u want warranty, and a pin ready to go, see ken in qld or mark c in melbourne.