I found this resourceThey should be in the Philips Pronto format (one of the earliest commercially successful truly-programmable universal remotes), iirc
...and should you need a converter, look at the biggest rival community!→ http://www.hifi-remote.com/forums/viewforum.php?f=9