Duda chorra sobre salida HDMI receptores AV.

Me ha surgido una duda respecto a la salida hdmi de los actuales receptores (escojamos como modelos... Yamaha 781, Denon X2300 y Onkyo 656 por ejemplo). ¿El audio lo sacan tal y como les llega? ¿lo convierte a pcm 2.0 para las teles? ¿dan distintas opciones?

Me ando planteando jubilar mi viejo Creative GD5800 pero me interesaría que la señal hdmi que llegase a la TV fuera DD 5.1 ya que tengo unos cascos conectados a la salida óptica de la tv que emulan 5.1 cuando reciben DD.

Edito: ¿en serio más de 100 visitas y ni una idea? :o