Connecting the GigaPocket Remote Control
Your computer also features a remote control and an infrared (IR) remote control receiver. The IR remote control receiver
must be plugged into one of the computer's USB ports in order to receive the signals from the remote control.
Page 64