I know not many people use HDMI ARC to coaxial interfaces. It seems to be the best way to get audio from a TV (even if it's only 48kHz, I wonder if eARC could be any better). Anyway, my question is, what are the good hdmi arc to coaxial interfaces you know? There are the Chinese 'audio extractors', but can we do better? Maybe there is a diy project? Any tip about HDMI feeding my DAC would be helpful.