Aunque este hilo estaría mejor en la sala "cine en casa" te comento algunas cosas para aclarar las ideas y así decidir mejor.

Lo que quieres es tener sensación surround y por ello compras un AVR con altavoces 5.1, bien; luego, por un lado tienes una PS3 de la que quieres aprovechar su salida HDMI 1.3 y por otro un LCD con entrada HDMI probablemente 1.1, entonces:

El HDMI 1.3 añade a las anteriores versiones la capacidad de trasportar las señales de audio codificadas en los formatos de alta resolución (Doby True HD y DTS-HD master audio) y la posibilidad de obtener mayor gama de colores (Deep Color) al llevar formato de imagen hasta 32 bits.

Para aprovechar esa señal de video deberías tener un LCD con entrada HDMI 1.3 y si la señal pasa por el AVR este debería llevar tambien entrada HDMI 1.3 (cosa que no llevan los modelos que has señalado). Como tu LCD no es HDMI 1.3 (o eso creo) pues asunto zanjado.

Respecto a la señal de audio de alta resolución, la PS3 recodifica esos formatos al formato L-PCM multicanal (también de alta resolución) que puede ser leido y decodificado por AVR con HDMI (1.1), que gestionen el sonido desde las entradas HDMI y que tengan decodificadores de alta resolución (24bit/192kHz) para todos los canales, eso es lo que son los modelos que has nombrado, el Sony STR-DA5200ES y el Denon AVR-2807.

Pero también los hay que hace lo mismo (en ese aspecto) mucho más baratos como el Onkyo TX-SR604E (que lo puedes comprar en webs alemanas por unos 400€) o Onkyo TX-SR674E (añade transcodificación de video analógico a digital). También puedes preguntar en esta web española.

Ese menor gasto lo puedes emplear en mejores altavoces 5.1 que en formato mediano, y si vas a oir música con ellos, elegiría los Quad-lite.

En formato pequeño iría a por la oferta de los Sib&Cub2, pero no les pidas mucho en música.

Saludos