HP ExpressCard Analog Hardware Setup Manual page 20

TV tuner setup
After the IR emitter is connected to the set-top box, you can use
the HP Media Center Remote Control to change the channels.
3–10 Hardware Setup