If you're willing to spend $8 on an interface cable, you can load all those codes in one shot by simply loading a file and without pressing any buttons at all.
[Link: ebay.com]As you can see, 1308
is the correct code (as are all the others I posted) according to the pronto hex you found. The brands listed in the manual are irrelevant in this case. The important thing is finding a setup code with the compatible protocol and other details which I did, and for which 3FG was kind enough to provide all the individual EFCs.