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.