sorry mate, im not sure it was just word of mouth
but some other guy said they you will have to take all the motor off, and replace the cam gasket and probably replace the belt as well coz that may be ****ed. or something along them lines, sorry i cant be more informative
do you know whether it will be an expensive fix?
not sure if i could coz its a mates and jus wanna know an approxamte price for fixing, but there seems to be some oil on the bottom pulley, ive forgotten what its called lol
and the belt slips a little when the engine is revved, but after a while it goes away