I contacted Hitachi about this. They stated that discrete IR codes were available at the following URL:

[Link: hitachi.com]

These look like HEX codes, but nothing like the ones used in the Pronto. Can you comment on these codes provided by Hitachi?