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(tobydealsau.com)
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.
Yeah I think black look at bit nicer. Personal preference I guess.