I have to say, I can't imagine how the shop could have done a HG change without removing the timing belt. I would think that the HG work would have resulted in at least a readjustment of the timing belt when buttoning everything back up.

James