Capacitor? So how did they get into the car to replace the capacitor?
If there is no power to the 12V system, (dead or disconnected 12v battery) then hooking up a 12v power supply to the two terminals behind the nose cone will open anything you like.
They are the recommended body shop by Tesla in the Chicago area - I just let them do what they needed to do and they said that they would talk directly with the Tesla service center (located only about 2 miles from them).