Back !
Might be a question to ask on Pinside as US prices and Aussie Prices don't exactly correlate. I would suggest AUS$2500 would be the going rate for an average EBD LE with PF wear etc and this one looks better than most. Standard EBD are reaching AUS$6-7K, so if it is the gameplay you are after, this machine looks good to go.
