They are very lucky, a dead short on a main battery cable can total a car in minutes


Jon M