You are posting in the Pronto Pro Forum. This post is best suited for the Classic Pronto forum which is where questions for the Marantz RC5000i really belong.
If you can download a spreadsheet from Marantz that contains IR codes, they should have the Pronto Hex that you can plug in directly for the RC5000I.
I would check this file from the Classic Pronto Files section to see if it has the codes you want. I suspect that it will work for you.
[Link: files.remotecentral.com]Welcome to the club.