I'm after an HDMI audio splitter - e.g. a device that takes in an HDMI signal and outputs HDMI and audio into separate outputs. I've ordered one from the usual suspects but after two …