what size socket is needed to remove the TOP bolt on the starter ('95 model)? Not the one with the ground strap, but the other one.