I have mapped the IR hex outputs for all 256 EFCs for remotes from five different vendors. (They all use the same map.)

1. Goldstar, vendor #04FB
2. Vizio?, vendor #609F
3. Toshiba, vendor #45BA
4. Magnavox, vendor #8722
5. Western Digital, vendor #8479

I have even developed an algorithm for converting IR hex numbers to EFCs.
They all use their IR#s differently, but the same EFC produces the same IR#.

#1-3 are in the 6122 format.
#4-5 are in the 6122A format.