But how much did that cost, I didn't even find it available in the US? How much do the repairs cost?
I get the not wanting to through things away, but the Tesla mobile connector at $200 is a great bargain, and likely cheaper than the repair option for anything else. (And I am sure someone collects bad ones up to either repair or harvest good things, like the cable/Tesla connector, from for re-use.)
The Tesla mobile connector has swappable connectors too... So $700, you could buy 3 Tesla MCs and a few adapters for that price... (When they are in stock, which it is back in stock today.)