Power steering pulley diameter question