receptor con hdmi...

hola a todos, mi duda es la siguiente, quería jubilar mi hk 300, ya que con esto de las nuevas tecnologías me he pillado un toshiba hd-dvd ep-10 y una ps3, y un plasma hdready de 42"

ahora la cosa está, quiero un receptor que tenga hdmi, esto es imprescindible ya que mi tele solo tiene una entrada hdmi y no puedo tener las dos fuentes conectadas a ella.....

como digo sería para ver tanto el hd dvd toshiba como la ps3, el uso sería 90% cine 10% música, los altavoces que tengo son unos jamo con los frontales de columna y los traseros pues de estantería.... lo típico, no tengo subwoofer y mi salón son unos 18m2.

no quería gastarme mucha pasta y quiero aprovechar los altavoces que tengo de momento al menos,

otro detalles es que supongo que el hdmi del receptor supongo que tendrá que ser hdmi 1.3 para aprovechar bien la ps3....

algún consejillo?????