Just be careful with Japanese domestic market (JDM) Teslas. The Roadster will probably be fine once you get it an Australian universal connector due to its unique charge port, but JDM Model S and X use the USA proprietary charge port so can't be Supercharged outside the home market and being RHD wouldn't be very saleable back in the USA.
I would talk to Tesla Australia before buying any JDM Tesla.