Going to give the LED thing a try. Just ordered a ready 12 LED kit that's intended to be used in saunas, bathrooms, kitchens, bars, outdoors etc. In other words, it's intended to function in high temperatures (=produces little additional heat) and high humidity. Almost perfect.