This news is unbe-friggin-lievable [middle portion censored by Remote Central software] !!!!
The OFA format should be the same, so if you have access to a Producer 8 remote, you could check the EEPROM before and after an upgrade.
I have some info on the 3-pin protocol used in older OFA remotes on my site, if you think that might help shed some light on some of the finer points on the 6-pin protocol, it's in the John Wasser section.
Feel free to drop me a line privately if you like.
Rob.
http://www.hifi-remote.com/