Bonjour!

0x2FD 0x40BF does not convert to 7A-16 in any straight-forward way. Should it?

I suggest you get IrScrutinizer and "import" your winlirc file. You can the create hex code, or whatever from the therein contained signals. If you need help, just ask.