I have to replace my idle pulley toward the top of the motor for the fan belt on my 2013 6.7 power stroke. Does anyone know the bold torque for the bolt holding the pulley?