That looks very good. Were the TX and RX schematics published in the DIY IR thread?
I could convert my long forgotten 27MHz TX to IR - this band is dangerous to use here.. I have some experience with IR coding (RC5). I had built a uP RX working with standard IR TV remote control units - this was for a mechanical engineering student project - it was only multi channel on-off control. People kept asking if the robot (a mars rover kind of thing) received all TV channels, during the project contest
I don't have the time for anything news, though.