Thanks for this info. I know that my Samsung audio receiver does process Dolby 5.1 from the Blu-ray Disc player and also does so from Apple TV using the HDMI port. I just assumed that it would also decode the raw bitstream as well. I will have to consult this issue with Samsung tech support. In the meantime I have to prerecord all my tv shows that support Dolby 5.1 and convert to Apple TV format, but I would also like to be able to receive live TV Dolby 5.1.