I did it myself using the Denon Hex Gen tool to convert the pronto codes into hex. Then I used the harmony web site and the HexToHarmony tool. It worked right away and is super simple to do considering I am an embedded Firmware Engineer and that I have always tweaked my Harmony remotes so I get the buttons and layout I want. I always found that when you add a device to a Harmony remote, you get tons of junk on the remote, too many unuseful buttons (some of them sometimes not even working or not even making sense for the device) and always lacking some useful ones like channel levels or surround modes. So I always do some code learning and layout organization when I set up my remotes with new devices.
For somebody not used to tweak an Harmony remote or not used to play with raw data like the pronto codes and their Hex conversion, it might be a little confusing at first, but since the procedure is well documented, I think anyone can do it.
Now that I know how to do this, my Harmony remote might get more powerful than ever! So thanks again for providing the link to,your page BatPig.
That is so awesome Thanks for reporting back! I haven't yet attempted to use the HexToHarmony tool, but I think I will give it a shot. It's so sweet that there is finally a real alternative to buying a second pronto-capable remote or relying on Harmony tech support.
And I agree with you about Harmony tweaking -- the first thing I do when I add a new device is comb through the list of commands and delete the junk, then reorganize so I get a sensible layout that pares the "extra" commands down to 2-3 pages max on the LCD screen.