Hey Trey,
There's a files section on this site for both the new NG remotes and the older legacy pronto remotes. It just so happens that there's a page with 11 InFocus files.
[Link: remotecentral.com]I hope you will find what you are looking for there.
Lyndel