Me contesto yo sólo, que no ha habido mucho éxito xD:
Cambié al nuevo descodificador 4K, y éste funciona como debe. No sé si era problema general del anterior, o problema puntual del que me tocó. Pero en el nuevo 4K ya va con sonido multicanal conectado al AVR. La definición de la interfaz también ha mejorado, y se agradece bastante a la vista.
Saludos!