About 15 years ago, a coworker of mine tried to clean a rather expensive adding machine with WD40. It cleaned the machine just great, but of course, it didn't work afterwards.