It is reasonable to expect that code from the RX-A3010 will work.  Get these from [Link: awe-europe.com].  If you need to convert the numbers in the spreadsheet to Pronto Hex, use IrMaster, selecting the NEC1-f16 protocol.  For example HDMI1 is listed as 7A-4738.  Enter 0x7A into the D field, leave S field blank, and enter 0x3847 into the F field (flip the order of the 47 and 38.  Then click on Generate.  Copy and paste the Pronto Hex to your application.  If you ask for a decode, it wll be shown as NEC1-y1, rather than NEC1-f16.  That's OK.