Ah, this one is using the XMP protocol! I've been working my way up to that (other brands using this protocol have already been requested, such as Dreambox and Thomson). XMP is one heck of a protocol, with a 4-bit pulse encoding, multiple checksums, and a fancy starting-command / continuing-command / ending-command series of frames. A lot more complex than most protocols out there, but very popular with recent hardware... I've started in on it, but I don't know how long it will take to get it all working correctly.