Denon Onkyo, HK o Marantz?

Ciao a tutti, sto comprando un panasonic 46VT20E che ha problemi con i video interlacciati... e già non so se sto facendo una caxxata! Comunque vorrei accoppiarli un sinto ampli che abbia sia la caratteristica di fare l'upscaling per migliorare il video da sorgenti sd e interlacciate sia che abbia una discreta qualità audio stereo e HT.
Amo molto sia la musica sia il cinema anche in 3D quindi penso che debba orientarmi sull'HDMI 1.4.
La stanza è 25 mq e le casse 5.1 JAMO, a torre i frontali.

Ho pensato a:

HK 255 o 460
DENON 1911 o 2310 o 2311
ONKYO 608 o 708 o 808
MARANTZ 5005

Cosa mi consigliate?
Oppure è meglio un processore video esterno e risparmiare sul sinto ampli?

Grazie