They have chosen a code set usually used for TV's. There are many models of TV that have the same power command you quoted. Philips is the most common brand, but there are many other brands.

Any universal remote would have at least one (probably several) setup codes for TV's with that code set. The power command would work (assuming the data you quoted above is correct), other commands probably would work but be on the wrong buttons.

Almost any OneForAll brand universal remote lets you rearrange the programming of the keys and add any missing functions, assuming you know their command numbers, as above, and have a setup code number (as you would in this case) for the right protocol (RC5) and system code (0). So you could start with one of a few compatible TV setup codes and fix it so all the buttons are right based on your word document.

A few OneForAll brand remotes, such as the urc-8820 have a DVD setup code (0854) for RC5 system code 0. I don't have the data handy at the moment that tells whether DVD/0854 has the command numbers you listed above. I might be able to check that later. If not then rearranging command number to button assignments for that setup code in the 8820 would be the same as rearranging them for a Philips TV setup code. So the 8820 definitely can be made to work and MIGHT be easier than some other OneForAll models.

Rob at
[Link: hifi-remote.com]
is a good source for remotes, especially if you have issues such as the one you describe.

You might consider:

A) An 8820 for $19 and either DVD/0854 will work right or use KeyMoves to fix it.

B) An 8820 for $19 plus a JP1.2 (serial port) cable for $20, because that gives you much more flexibility and ease in customizing the 8820 to be a great universal remote for whatever else you have that needs one, plus is simpler for fixing DVD/0854 if you need to.

C) An 8910 for $20 and fix TV/1254 to operate your device.

D) An 8910 for $20 and ask Rob to preload a CD setup code based on your word document before shipping it.

E) And 8910 for $20 plus a JP1 (parallel port) cable for $15, which gives you similar power in customizing the 8910 that choice B gives you in customizing the 8820.

Rob is very honest, reliable and helpful, so bargain hunting for a better price for choice (A) might not be a good idea. But there are lots of "refurbished" 8820's available on various web sites at very low prices. "Refurbished" usually means someone bought one, couldn't figure out its confusing documentation and returned it and the store was more honest than most and wouldn't resell it as "new" so someone ends up giving it a quick test at most (no actual refurbish) to make sure the original buyer didn't break it, then sells as "refurbished".