IR Library and PWM

I can suggest you use a BlinkM, http://www.sparkfun.com/products/8579 . It uses a simple serial interface to make it work, and will stop any interrupt issues you have. Also you can have a number of these devices on the same serial port and you can address them individually.