HDTV-Receiver im Hinblick auf ORF HD

Hallo,
da ja bekannterweise in Kürze ORF HD startet und ich bei meiner Receiver-Suche noch immer auf keinen grünen Zweig gekommen bin (hatte mal kurzzeitig den Philips DSR9005 zu Hause) wollte ich mal fragen was ihr hier so für Kauftipps habt.
Meine Schmerzgrenze liegt bei etwa € 350, aber dann muss das Ding auch schon was können.

Dachte bis jetzt an den Vantage 7100, was meint ihr dazu und was gibts für sinnvolle Alternativen? Wichtig sind mir ein gutes SD-Bild (HD setz ich ja voraus!) und dass ich per USB auf externe Festplatte aufnehmen kann, das wär schon klasse.
Was ich beim Vantage ganz gut finde is dass es ne Community gibt und man eben nicht nur auf offizielle Software angewiesen ist, das is ja auch schonmal ein wesentlicher Vorteil.

Wie oben erwähnt will ich auf alle Fälle ORF HD gucken und wenn dann auch noch Premiere drauf läuft wärs auch kein Nachteil, aber aufgrund der Verschlüsselungs-Umstellung lässt sich das nur mit nem evtl. CI-Modul lösen denke ich.

Wär super wenn ich hier ein paar Tipps und Alternativen bekomme! THX

Edit: Was auch ginge wäre ein absolut billiger aber von der Bedienung her noch akzeptabler Receiver. Der darf dann aber nicht mehr als 150 Euro kosten und braucht CI-Schacht wegen ORF. Aber tendiere eher dazu mir gleich nen guten Receiver zu kaufen damit ich die nächsten Jahre wieder Ruhe von dem Thema hab.