Muchas gracias compañero! Hay alguna forma de hacerlo de modo que conecto un ordenador mediante HDMI y mando el sonido por bitstream directo al receptor? Si no la hay, tendré que usar el método que me comentas.

Un saludo.