Arduino programming - 'single shot' code

[cmalton]

As a note - generally, the LEDs don't have a 38kHz modulator.

The "Industry standard" is to use TSAL6100 LEDs with the microcontroller generating the 38kHz PWM signal.

Edit: Note that you'll probably want a MOSFET to drive the LED as well - as the currents involved are quite high.