Comment by mikeash

Who did they call?

Tesla currently makes service manuals and tools available (for a hefty fee) to third parties, but only to accredited body shops, or residents of Massachusetts. I'm sure that last part is not a coincidence.