Originally Posted by vaughant

Seems fair to me as the pump is run off the bottom pulley and the timing belt also so iirc it involves removing both to get it off,it's not a straightforward job in anycase so thats a good price.

When were the belts last done?if you don't know,nows the time to do them along with the tensioner.