Hi Mark,
I have exactly the same problem and have rummaged around everywhere I can think of, but to no avail.
I would really appreciate it, if you were able to record the IR codes. As you as, I dread to think how much Lexus would charge for a replacement!
Thanks
Another Mark