Thanks - tensioners apparently are also available but the owner specifically wanted just the belt changed so that's what was done.
There's no doubt that different people are prepared to spend differing amounts on maintenance, some want to go even further and replace the water pump seal as well as, as well as etc...... Personally I'm not in favor of this unless your loosing coolant - i think there are some things better left undisturbed
But as i've said - given a moderate level of mechanical aptitude the DIYer can do a "belt change" with a VERY substantial saving over a dealer.