Wow, fancy stuff!

Another way to get the hex codes would be to find what device the remote is usually used for, and see if they have it here.

Although those may be hex codes for the specific remotes themselves (like the Pronto or the Marantz

DiGNAN
Ob-La-Di, Ob-La-Da, etc.
_________________________
Matt