Anyone know the size of the nut that goes on the bolt of the starter which hooks up to the positive battery cable? I was under the car replacing the cable and I lost the little thing...anyway, i have tried other nuts that i have lying around and none fit....