Rear motor and inverter failed at ~13k miles

Repairs took a while and at last this is what Tesla service declares complete:

Well done…