Pues como decías que estaría enfocado a una PS3 y esta solo envía los sonidos HD por el HDMI en PCM multicanal, ese Yamaha es muy buena opción, y si quisieras conectarle un tocadisco, el Yamaha RX-V863 sería la opción (añade algo más de potencia y escalado de video) por poco más de $.

Otras opciones son, si los encuentras a buenos precios, los RX-V661 o 861, pues su HDMI capta el sonido (no llevan decos HD, pero no te son útiles con la PS3).

Saludos (¿crees que me ahorraré un poco de Purgatorio con tanto repetir lo del HDMI repeater?, )