bingo.

on the newer sets, you can set the HD output via system menu.

keep the box turned off.
go to the actual machine and look for the configuration button
hit it, and you'll be taken to a ... well ... bios-ish screen for the box.
set it to whatever you want.