Replacement of water pump has cured the problem. Everything is working fine.
However, is there a recommended way of loosening the fan belt for easy removal? Is a special tool required?

Thanks.

------------------