Sollte der Onkyo noch nicht "in Stein gemeisselt" sein, hier mal ein Tipp von mir, da ich vor einem ähnlichen Problem stehe und zwei HDMI Ausgänge benötige.
Der Marantz SR 6003 (gold oder schwarz) ist ein anerkannt hochwertiges, schickes und leistungsstarkes Gerät und besitzt zwei HDMI Ausgänge.
Da er aktuell durch den geringfügig veränderten 6004 abgelöst wurde, ist er so zwischen 650,- und 700,- zu haben.
Einen Splitter gibt es auch, da kann ich zu den Qualitäten wenig sagen, halte es aber für unnötige Hampelei, wenn man sowieso vor dem Neukauf eines Receivers stehst.
Zumindest scheint es aber auch so zu sein, das ein qualitativ hochwertiger Splitter min. ab € 100,- beginnt - wenn du die zu dem (guten) Onkyo rechnest, kannst du sofort auf ein Gerät mit zwei Ausgängen gehen.
Zudem die Umschaltung am Splitter m.W. nicht automatisch mit anliegendem Signal wechselt und man (wie auch immer) separat umschalten muß !
Gruß

Wieder
ein hübscher Kerl - dank Marantz !