The positive battery terminal has a spare stud. I'd like to wire something to it, but there's no nut supplied. Does anyone know the nut size needed?