If anyone else is interested, I bought my wife a 3rd party micro USB (she's got an older Android phone and is quite happy with it) from amazon that fits perfectly on the passenger side dock. I got the 3.2 ft cable ($9.99), as I assumed the 0.5 ft cable might not be long enough, plus it's just a $1 more. Also, since this was for the passenger side AND it's a micro USB, orientation matters. Right angle for the passenger side, left angle for driver side. As there's nothing special about the Tesla USB cables, other than the right angles, these work great. They also have USB C and lightning cables from the same brand.
https://www.amazon.ca/CableCreation...529&sr=8-6&keywords=cablecreation+right+angle