If you want to permanently mod that mini mag, you can go get a big red LED from Radio Shack and replace the halogen bulb with the LED. You’ll have to open up the reflector of the mag a bit to get the led through (use a small file or something), but the two terminals of the LED go right into the power sockets for the bulb.
I don’t know what the part number is for the LED, but if you bring in the mag light, you can probably figure it out via trial and error (did this one lite? this one? this one? Ah…)