Se dovete cambiare timer, la soluzione l'avevo già data:
leo72:
Comunque ho guardato il codice della IRremote ed ho visto che puoi cambiare timer.
Modifica il file IRremoteInt.h ed inverti commenti che trovi alle righe 66 e 67 (quelle relative all'Arduino Duemilanove, Diecimila ecc..) così da spostare la IRremote sul timer 1.