A while back I captured all my lilli's remote codes when I was learning how to use my IR widget.. I'll have to dig around and see if i Can find the files. They're in JP1 format, but I'm pretty sure they can be converted to pronto fairly easily
Ok, I found the RemoteMaster device upgrade I created. Just drop the ".txt" extension from the attachment. I don't know how to convert this to Pronto, but I'll try to dig around later today.