I was looking for an old thread about this, but couldn't find it -- I seem to recall last time the topic came up, somebody mentioned "50/50" spray which WW2(?) pilots use(d?) to spray inside their helmets to prevent helmet nastiness. But I can't remember what the two ingredients were that make up the 50/50!