I was thinking about this route too -- just switching out the light source whole-sale with something more modern. Sunk cost of the bulb I just bought would be annoying, but a big deal. Thanks for the links. I'll check them out.

Tim