Anyone know the size of the torque bolt on the tensioner pulley ?