I've just checked a few things out. Australia runs at 50 Hz, so they may not even sell them internationally for that reason. Were you serious about asking them?

I also saw pricing on a simmilar LE pinball machine at around $6500 USD which is about $2000 more than I was expecting it to be. As it was a different machine by a different company I might be comparing apples to oranges though.