My experience with HDMI extractors is that they strip the audio signal of discrete 5.1, and you are left with 2.0 stereo. I found this to be the case with budget models as well as pricey professional-grade fare from Crestron.
I found myself in Ricardo’s situation a few years ago, having...