Book time just for the water pump is 2.2hrs Carl.
Add a little on for checking the tensioners, pulleys, etc, and it sounds about right to me mate.
I dont think there is anything wrong with that 2.5hrs, especially as the mechanic is (hopefully) going to be checking all other pulleys, bearings, etc and replacing the tensioner.
Just my 2.5 cents....:lol:
Martin