Como ya la PS3 puede pasar el DTS-MA a PCM y enviarlo por el HDMI, con un AVR que te capte el sonido desde las entradas HDMI tendrás suficiente, este es el caso del Yami 661.

El modelo superior de ese Yami, el 861, añade algo más de potencia y escalado de video (pero parece que no lo necesitarás porque la PS3 escala también). El Onkyo 606 no te ofrece ventajas para tu configuración y, además, no lleva presalidad de audio que serán útiles si alguna vez quieres aumentar la potencia del equipo, colocando unas etapas a los frontales, por ejemplo. Del otro Onkyo olvídate.

Saludos