I was tightening the tensioner bolt on the power steering pump and it snapped in half. I'm going to just go to a hardware store and grab another bolt, but does anyone know how long it is? I looked in the Factory Service manual, and it didn't say the length, just that it's 12mm...