Had a chat with a bloke who races jeeps with a V8 TVR engine in it. He reckons that he got it to run cool by drilling a hole in the head and running a pipe to the water pump. Was he winding me up and if not does anyone have more details on this subject?