Hello Greg,

You should be able to go into the OSD and assign the audio input for one of your sources to 7.1