The first place to look for codes is in the section containing your remote. If it's not there, try File Search at
[Link: files.remotecentral.com]. You may have to go through some things to make commands usable, for instance if the files are from a different brand remote and must be changed to hex for the Pronto.
Searching the files doesn't search the forums, so you might find something there.