Acabo de probar a enviar a la tele el comando del boton 1 en formato RAW en vez de protocolo nec y cambia de canal por lo que me creo que el problema del TDT esta en que no funciona a 38khz.
#include <IRremote.h>
IRsend irsend;
//
unsigned int boton1[68] = {9000,4450,650,1600,600,550,550,550,600,550,550,550,600,500,600,550,600,500,600,1650,550,550,600,1650,600,1650,600,1600,600,1650,600,1650,600,1600,650,500,600,1650,600,550,550,550,550,1650,600,550,550,550,600,1650,600,1650,550,550,600,1650,550,1650,600,550,600,1650,550,1650,600,550,600
};
void setup()
{
irsend.sendRaw(boton1,68,38);
delay(100);
}
void loop() {
}