How about setting the default for 'HDTV' on the AVR to stereo/2.0? Or do they want to listen through TV speakers.
Also what source is your HDTV displaying? OTA, cablebox, etc? If a box you may want to consider to ouput sound from the box to the AVR and again selecting stereo/2.0.