Thanks for all the great input, folks. We've got task lights, too, on our lighting and sound consoles, as well as desk lights, but ambient booth light is still useful. Blue halogens are certainly available at reasonable cost. There seem also to be clip-on blue lenses for MR16. LEDs are of course...