I too have been in the electronics field for more years than I would like to admit. Alcohol replaced one of our favorite electronic equipment cleaners (anyone remember carbon tetrachloride?), but alcohol can damage some plastics. If you must use alcohol, try it on an inconspicuous place first.