I'm assuming you are using "HDMI2" correct? Your receiving is set to ARC? Well I have a D8000 series and I don't get sound through my receiver when navigating through the in menus. I never had to change anything in the SPDIF either because ARC uses HDMI.
1/29/13 at 4:22pm