gpsd:
credo sia la stessa libreria, ma la ho scaricata da qua:
GitHub - Arduino-IRremote/Arduino-IRremote: Infrared remote library for Arduino: send and receive infrared signals with multiple protocols
Quella libreria usa di default il timer2 collegato ai pin 3 e 11.
Ti rimangono quindi i pin PWM del timer 0 (pin 5 e 6) e del timer 1 (pin 9 e 10).
P.S. il timer2 è utilizzato dalla libreria per la trasmissione, se non la usi per trasmettere, forse, potresti utilizzare il pin 3 per il controllo RGB.
Aspetta che risponda qualcuno più esperto. 