If all else fails I wonder if a string of white LEDs inside the mask would make a decent substitute for the light?
I had an HL once, it was really beat but the light worked, so did the set sort of but the CRT was shot.
I finally tossed it, I hung on to the bulb and transformer for a while but finally chucked it to, this was before the internet and eBay of course.
