Thanks Jason!
Here is what they responded:

"Dear Jerry,

Thank you for contacting Logitech Customer Care about your Universal Remotes

I am sorry that your device is not in our database. Can you please send a pronto hex format file to us, so we can add it in our database?

We hope you have found this helpful. If you have any further questions please feel free to reply to this email and we will get back to you shortly. Thank you once again for contacting Logitech Customer Care.
Regards,

Logitech Customer Care"

I can do it once I figure out all the S/W version issues; your reply specifies prontoEdit 4.x while the link refers to 1.x and 2.x.

So no one has developed a one-click converter? I may have found a deep winter project!
JP