Thanks for posting the pics, much appreciated. How much roughly do those belt tensioners cost. Also is it a fairly straighforward job to change?

Should my mechanic take responsibility, or should i put it down to just one of those things and bear the cost myself?