Thanks all for the advice. I believe the main issue with the US suppliers is that they don't make RHD versions.
Even if they offer to custom make a set, they may not know the exact shape of the footwell for RHD models.
One more issue that we can bring up with Tesla HK...