Pues dependería de la calidad relativa del previo de phono frente al integrado en el AVR, algo difícil de predecir.

Respecto a la conexión HDMI todos los modelos nombrados tiene HDMI repeater por lo que no tendrás ningún problema.

Otra opción de AVR sería el modelo anterior de Yamaha RX-V861, si lo encuentras a un mejor precio, que no escala a 1080p ni lleva decos de sonido HD (cosas que no te hacen falta con la PS3) pero que si tiene entrada de phono.