Just stumbled across this today as I have been looking at the regular 4G version. These are over $1k at JB Hifi and the Xiaomi store. Seems like a pretty amazing price.
Also available in Black
There is also the 64gb variant for $529
https://www.tobydealsau.com/en_AU/product/xiaomi-mi-mix-3-5g…
Both state they are the international variants.
Can you match the price at JB hi-fi ?