OK –
Which sources have HDMI other than the Oppo BD93? Also, what are your other source output options (cabling) of each source? That would help me to suggest which goesouta should go to the appropriate 3808 goesinta.