I have an 811 hooked up to a Dolby digital receiver(JVC 7030) and want to make sure I have the correct Dolby digital setting. The 811 menu lists "Dolby digital only", "PCM only", and "Dolby digital/PCM", which is the default setting. I set it for "Dolby digital/PCM", is that the correct setting? And I have the A/V receiver set for "Dolby digital Auto". Thanks.