Denon AVR-X1000 und Sony 4K Smart-TV

Hallo zusammen,

ich habe eine Verständnisfrage, bzw. stehe ich gerade irgendwie tierisch auf dem Schlauch

Aktuell sieht es bei mir so aus.

TV: Panasonic 50" HD Fernseher
Receiver: Denon AVR-X1000
Über den Receiver ist ein Raspberry PI, Fire-TV-Stick und eine PS4 Pro angeschlossen.

Gesteuert wird alles über die Fernbedienung des Fernsehers via CEC an HDMI-2 des Receivers.

Nun kommen allerdings einige PS4 Titel, welche in 4K angeboten werden und ich nun den Schritt machen und mir eine neue 4K-Glotze an die Wand hängen möchte.

Meine Wahl schwankt aktuell noch zwischen 2 55"-Modellen von Sony. Der SONY KD-55XD7005 und der SONY KD-55XD8005. Ich möchte gerne einen Smart-TV mit Android haben. Und da komme ich ja nicht wirklich an denen von Sony vorbei

Allerdings hab ich in meinen bisherigen Überlegungen nicht bedacht, dass mein Receiver ja keine 4K Unterstützung vorweisen kann.

Somit müsste ich die PS4 Pro dann wohl bei dem Sony an einen alternativen HDMI-Anschluss des TV hängen müssen (Da die HDMI alle 4K unterstützen sollen, sollte das kein Thema sein)

Kann ich weiterhin sämtlichen Ton über den Receiver an die Boxen übergeben? Egal welcher HDMI-Anschluss ich beim Fernseher eingestellt habe?

Ich dachte mir das dann so:

1. Receiver auf Einstellung "TV-Audio" (Tonsignal des Fernsehers wird über den HDMI-Anschluss an den Receiver ausgegeben)
2. PS4 Pro an HDMI > Receiver weiterhin auf TV-Audio > Bild über die PS4 Pro - Ton aber weiterhin vom Fernseher an den Receiver weitergegeben.
3. Raspberry & Firetv-Stick werden weiterhin via Receiver ausgegeben.

Wird bei Einstellung 2. Der Ton der PS4 dann über den Fernseher an den Receiver ausgegeben.

Über Eure Hilfe wäre ich sehr dankbar

Liebe Grüße

Axel