I have an older metal detector (probably 20 years old) and the owners manual gives a grave warning about spraying WD40 on the printed circuit boards to dry them out. Apparently it will destroy a printed circuit board so do not use where it might unintentionally cause problems. I agree that alcohol would be better.