Never mind. H/K sent me the documentation.

FWIW, the concept is simple: To control the receiver via the RS232 port, you send it a series of codes corresponding to key-clicks on the remote.

Each code is four bytes long, which you specify in hex.

There is no reply from the receiver. It just does what it would do if the remote key were clicked.