No te aconsejo el HK 155 pues por sus conexiones HDMI no puede captar sonido, tendrías que añadir otro cable (óptico) desde la PS3 al AVR, y con ello no podrías enviar esos sonidos HD aunque los descodifique la PS3 (salen en formato PCM multicanal que solo viaja por HDMI, el muy sibarita).

Por tanto mejor un AVR con HDMI tipo "repeater" que tipo "switcher" o conmutador como ese HK.

Una opción sería ese Denon (que si tiene radio), pero mejor el modelo actual 1611 que incorpora HDMI 1.4, lo encuentras a buen precio aquí. Otra sería el Onkyo TX-SR508, prácticamente equivalente. Ambos añaden también los decos HD, siendo de alguna ventaja el que los descodifique el AVR en vez la PS3.

Los Beta parecen sonar mejor que los antiguos Alfa o Primus actuales, pero no he oido estos, si te satisfacen los Beta pues...

saludos