I just got a Samsung Smart TV and was having a lot of problems getting HDMI ARC output from the TV's 'ARC'-labeled HDMI port to my ARC-enabled receiver. It turned out the user manual instructions were wrong. To set up ARC, the manual fails to state the AnyNet+ option must ALSO be turned on. Just...