You can find the official code list for the AV7702 here:

[Link: marantz.com]

Everything you want should be on there. Not sure what you have and haven’t read on the Pronto Professional, but everything available is here:

[Link: files.remotecentral.com]

Plus of course the forum on this site.