[sleepydsm]

ahh, he probably used an air grinder and hopefuly a soft disc and removed the stubborn gasket, not what I would have done, but as long as he uses a stock style headgasket he should be fine. I'd also reccommend coating it with "Copper Spray" which you can get at your local parts store.