Thanks guys. Found it, but not without the help of a mirror and flashlight. Two more questions for this crowd. One, my pulley wobbles around on the tensioner arm until you bolt it on. I assume that is normal, but I'd like to know if this is a sign of wear. The car only has 10k miles.
Two, anyone know what is normal for the torque of the tensioner? You see threads where a weak tensioner is mentioned, but not defined. I measured my tensioner with a torque wrench on the vice, and found that it takes about 20 ft lbs to move it through its range. I wonder if that is normal.