Does anyone know the diameter of the 3 spoke power steering pump pulley.