Jack,
you should not open three different threads,,,
It is not clear what the manufacturer means by
Volume Up: 0x10EF, 0x1AE5
namely how this transforms to the NEC parameters. Let's guess that this means that (notation as per above) D=0x10, S=0xEF,F=0x1A.
I hand edited the command list for this , and imported in IrScrutinizer. IrScrutinizer does not compute EFC and EFC5, since there is another program that does this, RMDU
[Link: sourceforge.net] . That program is very useful for programming remotes like your URC-7935. So I exported the data from IrScutinizer as a Girr file
[Link: harctoolbox.org], and loaded it into RMIR. This, this among other things, computes EFC5s. The resulting file is this one:
[Link: harctoolbox.org]. But is can also download the whole shebang into the remote. For more information on RMIR, see the JP1-forum
[Link: hifi-remote.com].