Now:

the HDMI cable runs from the "HDTV Digital Audio/Video Output" (on the
receiver) to "HDMI 1" (on the HDTV)

and "SAT" is the device selected for "HDMI 1".

Is that what you suggested?