Does anyone have experience cleaning these Bosch hot wire sensors? They get contaminated by dirt, oil, silicon, potting compound from the sensor itself, etc. I've read conflicting reports about cleaning them with alcohol, electrical contact cleaner, carburetor cleaner, and circuit board solder flux removal solvent. These things go bad regularly and cost $200 - $300.