Ah, my apologies for missing your post! (I've been away for a while, still trying to catch up here...) The LIRC code in that link looks like it matches the protocol used by several other set top boxes, I'll get it into the next update.