Originally Posted by fulcrum2
Great idea. Where have you ordered those parts? From crazyLED?
Have you ever crushed a diode? For a spare one, do you have the spec or part #?
Ledholders comes in all kind of shapes and can be found at any local radioshack or otherwise some online electronics shop. And with a piece of aluminium or plastic you can drill a 5mm hole to glue in the LED and right beside that a 3mm hole for mounting it with a nut and a bolt
(Once I made a lapcounter in this way)
I think the LED is a standard IR led costing nothing more than 20 cent. Because the original LED is easy to replace you can give it a try but be sure you connect it the rigt way. The markings are a flat spot and a shorter pin.