Denon X3500h, Marantz SR6013 oder Pioneer LX504

Hallo zusammen,

mal wieder ein altbekanntes Leid: Jemand der sich beim Kauf eines neues AVR nicht entscheiden kann.

Nutzung: ca. 60 % Musik Stereo, ca. 40% Heimkino
Wohnraum: in etwa 35 m²
Setup: aktuell 4.1. Kef R300 als Front-LS, Kef R100 als Surround, Kef Cube 2 SW. Den R200C als Center suche ich aktuell noch. Soll aber hinzukommen. In der 2. Zone (Schlafzimmer) 2 Kef Eier
Aktueller AVR: Pioneer VSX 920

Anforderungen:
Mindestens 7.1 über 2 Zonen
Gutes Einmesssystem
Dolby Height Virtualization oder Atmos wäre wünschenswert
Alexa Kompatibilität (wobei ich gelesen habe, dass das selbst bei kompatiblen AVRs aktuell alles andere als userfreundlich sein soll).
Multiroom-fähig via Streaming
Farbe idealerweise silber
Preis max. 800 €

Mein aktueller VSX 920 gibt seinen Geist auf (SW out funktioniert schon nicht mehr). Auch finde ich, dass er mit den R300 mometan etwas anstrengend spielt weil die Leistung fehlt.

Ins Auge gefasst habe ich momentan folgende AVRs:
Denon x3500h
Marantz Sr6013
Pioneer LX 504

Preislich wäre der Denon ja der günstigste. Dafür aber nur in schwarz verfügbar. von der Ausstattung sind sie sich ja doch zu 80-90% ähnlich.
Gefühlt würde der Marantz als einziger alle Anforderungen erfüllen. Der Pioneer scheint nicht Alexa kompatibel zu sein (wobei ich wie gesagt nicht weiss ob das momentan überhaupt schon zu 100% optimal funktioniert). Dafür hat der Pioneer Chromecast Built-in und unterstützt Sonos. Das wäre mir eigentlich lieber als HEOS.

Inwiefern die drei sich beim Einmessen und Klang unterscheiden, kann ich aktuell gar nicht einschätzen. Denon und Marantz haben ja das Audyssey XT32, Pio das grössere Advanced MCACC. Kann denn hierzu jemand sagen ob es merkliche Unterschiede gibt?

Wie gesagt bin ich in Summe sehr unentschlossen. Würde mich auch über eine generelle Einschätzung freuen.