Thats right, I found the code in the description of a Directv remote
[Link: directv.com]Tivo was the right suggestion, before I was setting the device to "Sat" the brand to
"Samsung" and then I couldn't find the code. Now I set the brand to "Tivo" and those
two codes, i.e. 1142 and 1442 show up. I tried both settings, the 1442 actually seems to work better (it enables more buttons). This works for me now, the only downpart is
that the play-control buttons (stop, pause, ffwd, etc.) seem not to work with any of the two codes.
thanx for the Tivo hint
m.
(mike)