i hope a new gasket was used. also there are i believe some of the mounting screws that are drilled straight through into the water jacket they will need to have sealant put on the threads. i hope it was a new pump fitted because they nearly always leek when they have been disturbed whilst fitting a new cambelt. when the belts are changed its recomended to renew all items. otherwise you could be back in there again with a leeking water pump 6 months later ...
