It's advertised for $9,999.00 at Digidirect.com.au
Hopefully that bodes well for the 1DX price in Australia. Of course the G1X and 1DX target totally different market segments, so Canon Australia could have totally different pricing strategies for the two.
I hope it bodes well too.....but seems unlikely. Canon Australia has been forced to reduce prices of the lower end gear to international levels - e.g. I think 60Ds are pretty much the same here as anywhere. If you go higher up the totem pole the gap is still there.
Anything up to $1000 you can import grey with no GST - so that makes a big difference which Canon has to fight with more aggressive pricing here.
I think the most important thing is that if you're buying a "cheap" camera (of course that's relative!!) you might be happy to risk a non-Canon repair if something breaks. But if you've shelled out big bucks for your dream camera and lens(es) and you're not quite sure if it's working perfectly and you want to be able to take it to Canon and ask them to check it out - well you can't if it's grey. (For L lenses they will apparently honour international warranty, but not bodies). You could probably pay for them to check it out, but it's possible that they might just refuse to touch it - they are under no (legal) obligation.
So you can pay a fair (grey market) price and hope for the best, or pay Canon Australia a few hundred (or thousand) $ extra "insurance" for a Canon warranty.
Or be happy with what you've got and not upgrade at all!