You are right Simon. Would I need a torque wrench to fit the aux pulleys? I was also thinking, since he re-greased the aux tensioner pulley, could it be possible that there's a problem with the aux tensioner itself that would cause the ticking? I don't think this would be really plausible but still worth asking. The aux belt seems normally tight and not wobbling around not even a milimeter