Onkyo TX-SR309 oder Harman/Kardon AVR 142 für HDMI Setup?

Ich plane mir in naher Zukunft einen A/V Reciever zuzulegen.

Angeschlossen werden soll:
5.1 System (steht dann als nächstes auf der Liste, momentan noch Stereo)
LCD TV Samsung LE40C650
PS3

Budget: Bis 300€ (Student: kleiner Raum, kleiner Geldbeutel)

Sowohl der Onkyo TX-SR309 als auch Harman/Kardon AVR 142 bieten die Möglichkeit HDMI Geräte anzuschließen, umzuschalten und durchzuschleifen.

Der Onkyo bietet dazu HDMI 1.4, was die ganze Sache 3D tauglich und damit zukunftssicher(er) machen soll, außerdem HD-Audio-Dekodierung.

Harman/Kardon soll etwas besseren Klang haben, dazu sieht er einfach besser aus.

WICHTIG: Bei BEIDEN bin ich mir unklar, ob sie ein 1080p Signal von der PS3 durchschleifen können, habe widersprüchliche Meinungen gehört/gelesen.

Falls das nicht geht, wäre die Alternative sich einen gebrauchten AVR 132 bzw. 135 zuzulegen, ohne HDMI, und die PS3 per HDMI an den Fernseher und beide dann per Toslink/optisch zum AVR zu verbinden. Hätte den Vorteil, dass es billiger wäre, allerdings kein HDMI.

Die Frage also:

1. Hat jemand Erfahrung mit dem Harman/Kardon oder dem Onkyo?
2. Können die genannten AVRs 1080p Signale durchschleifen?
3. Brauch ich HDMI? Der einzige Vorteil zum optischen Kabel wäre ja dann HD Audio (was nur der Onkyo kann), oder?