yes, as Greg said, organise ourselves which is what Greg and I did for our BBB's. We airfreighted them both, cost about $1,000.00 each and there's also full GST on top being new, so maybe $1,200 in duties and taxes on top. I figure it'll be a little over $10K AU when landed. A few thousand more than a new Stern. But if you've played a Capcom you will understand how the feel of these games is vastly superior.
Here's a rule sheet of sorts
http://www.krellan.com/pinball/kingpin/
