While changing my crank sensor today, I noticed that the one bolt (stud) that holds on the A/C extends out very near the idler pulley. The nut had backed all the way out, and was evidentally rubbing (pulley kept it from falling off). Does this simply mean that I need to go to a 1" shorter serpentine belt to raise the pulley slightly? I thought I always got stock sizes before.