AV Receiver der 1000+ Euro Klasse (Marantz SR6001, SR6003, HK 645, Denon 2809, Pioneer LX51)?

Hallo,

da mein Vater bald Geburtstag hat wollte ich ihm einen neuen AV Receiver gönnen, gebraucht round about 400 Euro.

Es soll / muss klanglich und optisch ein Receiver der 1000+ Euro Klasse sein!

Sein aktuelles Setup:

Pioneer 51FD Blu Ray
Sony 40" Full HD
5 Lautsprecher JBL XTI
1 Subwoofer Acoustic Research AR25
AVR: Harman Kardon AVR 330

Der neue Receiver soll auf jeden Fall kräftiger aber auch musikalischer klingen als sein jetziger Harman Kardon.

Ich dachte an folgende Receiver:
- Marantz SR6001 / SR6003 / SR6004
- Marantz SR8001
- Harman Kardon AVR 645
- Denon 2809
- Pioneer LX 51

Für mehrere Endstufen ist leider kein Platz!

Es wird benötigt:

5.1 Tonverarbeitung
Dolby HD / DTS HD bevorzugt
HDMI Tonverarbeitung bevorzugt

HDMI 1.3 / 1.4 nicht unbedingt notwendig
1080p HDMI durchschleifen nicht unbedingt notwendig
HDMI Upscaler/Deinterlacer nicht unbedingt notwendig
7.1 nicht zwangsläufig notwendig

Wer hat einen der o.g. Receiver im Vergleich zu Harman Kardon Modellen gehört?