How to send PULSE_WIDTH IR data?

Most LED's work fine at 10mA but high-power IR LEDs may take 100 mA, far beyond the drive capability of an Arduino pin. You need a transistor to drive them at full power.