This is a topic somewhat close to my heart at the moment, as I have literally just been through the same - today!
How much did the job cost you, or is going to cost you?? Is it being done at a main
dealer? did they do tensioner/pulley as well.
Let's just say that me and the
dealer had a little disagreement over the costs of this job - unfortunately after it was done.