It's some really simple button sequence: like you have to switch into AV1 mode I think on your DTV remote, and then press something on your regular TV remote.

(it's already set up, I just don't remember what button it is)