Answer
You misunderstood "which" tensioner they replaced. the one they are talking about is the one that applies tension to the timing belt not the one for the drive belt. thats something alltogether different. all that have been stated is all timing belt related. so they did very well. ihope this helps.