Ditto, if its hard it needs to be replaced, and if its pliable I would still use a little RTV sealant.

I have another question though. Does the vacuum pump have gaskets that sit between the block and vacuum pump and the vacuum pump cover and pump body? The cover I'm referring to is a piece that looks like its attached to the radiator side of the pump with hex bolts. Anyway, I have an oil leak coming right from that area, and am wondering how difficult it is to remove those parts (either the cover or the whole pump), just to replace any gaskets. If I have to somehow disassemble the pump then I will just live with the slight oil leak.

Thanks,

GregS