Inoltre, quale libreria IRRemote ? Ci sono molte versioni.
Di base le IRremote usano timer 2 come la libreria servo. Bisogna in qualche modo cambiare quale timer usa la IRremote. Se la libreria è quella di z3t0, GitHub - Arduino-IRremote/Arduino-IRremote: Infrared remote library for Arduino: send and receive infrared signals with multiple protocols
http://z3t0.github.io/Arduino-IRremote/