The "simple" codes you listed can be converted using Makehex and the pioneer.irp file, however, there are some "complex" codes that may require different .irp files. There is a .ccf file on Pioneer's website that has all these codes converted already, and I believe they are "clean, generated" codes from Makehex. You can create your own 5080 library by copy/pasting from the .ccf. You can also probably find most of the codes in the older models listed in the RTI Master library, or the MegaCode library.