Hi, I'm doing a timing belt replacement on my J30 and I'm replacing the auto tensioner pulley, however I can't seem to find the torque spec on tightening the pulley bolt to the auto tensioner. The other two idler pulleys torque down to 32-43 foot lbs. and the mounting bolts to the auto tensioner torque to 15 ft lbs., nowhere in the diagram shows the torque spec for the pulley bolt to auto tensioner. Does anyone have a torque spec for that particular pulley bolt? Thank you guys for your time!