Lo primero: el receptor tendrá entradas, no salidas
Puedes usar un conmutador toslink para seleccionar manualmente entre la ps3 y el HD multimedia. Algo como esto:
http://www.planetronic.es/conmutador...s-p-15481.html
También puedes conectar la ps3 por HDMI y nada más.