Er, carbon tetrachloride is carcinogenic, I don't think he would want to use that...
WD-40, Pocket Rocket. or another water displacing aerosol is a good thing to try, as it will penetrate under surface mounted chips, which is where water could still be trapped by capillary action.
WTF