I used the Marantz spreadsheet, which lists codes both as device.subdevice/function number as well as Pronto Hex.

I then used RemoteMaster to generate the EFCs, with the RC5/RC5x Combo protocol executor.