What's the thread size and pitch on the shaft holding the pulley? Somehow the nut backed off while I was on the freeway and threw the pulley. I could just remove the pump for now I suppose if that's easier than finding the right size nut, anyone have a belt size for no power steering?