There are some fancy HDMI audio extractors. But most of the fancy features are for handling4Kor 3D videos or ARC (HDMI Audio Return Channel). It is not relevant to your music streaming. Of course, some HDMI switches also have a built-in audio extractor/splitter/duplicator. You...