My uncle just bought a Bosch O2 sensor for his E30 eta engine, but when it came in the mail, the plastic cap got loose and some of the anti-seize compound smeared on the tip. I know how important it is to keep that tip clean, and he's unsure of how to get the stuff off. Should he just wipe it off with a paper towel, or maybe use alcohol or WD40? Thanks.