On one of the setup screens, there's a choice for TV Format. There's an entry for NTSC but none for ATSC. As HDHR is supported, I'm missing something, but what?