Queda saber si la emisión de TV HD es Dolby o no, de serlo y haber elegido salida Dolby deberías verlo en el monitor del AVR (pulsa la tecla Info hasta que aparezca Audio Decoder y en unos segundos te dirá cual está usando). Si sale DOLBY, ¡acierto!, si sale DP II o PCM, ¡error!.