Okay, I will try to connect with HDMI ARC and see if anything changes. But I am curious about the AppleTV decoder as it does not do passthrough. Isn't all formats (like AAC, AC3, or DTS) will be decoded into uncompressed multiple PCM audio channels by AppleTV? Or is there a difference in output for each format?