I wonder if the tech forgot to disconect BOTH the negative and positive terminals for the battery and did not put some insulators in between the cable and terminals to prevent accidental closing of the circuit.
From Ford CD Manual,
"1. WARNING: THE ELECTRICAL CIRCUIT NECESSARY FOR SYSTEM DEPLOYMENT IS POWERED DIRECTLY FROM THE BATTERY. TO AVOID ACCIDENTAL DEPLOYMENT AND POSSIBLE PERSONAL INJURY, THE POSITIVE BATTERY CABLE MUST BE DISCONNECTED PRIOR TO SERVICING OR REPLACING ANY SYSTEM COMPONENTS."