HDMI-Verkabelung (4k/2k-Mischmasch)

Hallo allerseits,
ich versuche, mein HDMI-Durcheinander mal wieder auf Vordermann zu bringen und bin dabei etwas ratlos, wie ich ein vernünftiges Setup hinbekomme.

Die wesentlichen Komponenten:

Quellen:

• eine 4k/HDR-Streaming-Box (NVIDIA Shield)
  
• ein 4k-Kabel/Stat-Receiver (Vu+ Ultimate 4k)
  
• ein Ultra-HD-BluRay-Player
  
• eine PS4 Pro
  

Ziele:

• ein LG-4k-TV mit drei 4k-Eingängen (davon zwei HDR)
  
• ein Onkyo AV-Receiver (Dolby Digital) mit 2x TOSLink und 4xHDMI (aber nur 2k!)
  

Den TV nutze ich täglich, die Sound-Anlage (um die Nachbarn nicht in den Wahnsinn zu treiben ) nur gelegentlich. Trotzdem möchte ich natürlich den Digital-Ton ggfs. von allen Quellen über den AV-Receiver ausgeben können.

Ich hatte jetzt vor einen 4k/fähigen HDMI-Switch (4x1) zu beschaffen, um erst einmal alle Quellen mit dem TV zu verbinden. Doch wenn ich das richtig verstehe, wird an den Fernsehe ja nur 2.0-Ton weitergegeben. Wie bekomme ich nun 5.1-Ton zum Receiver, ohne das Bild auf 2k downzugraden? Oder muß ich mir dafür einen neuen AV-Receiver kaufen (obwohl ich keine Pläne habe, 7.1. o.ä. einzusetzen)?

Vielleicht hat ja hier eine eine gute Idee(tm) - ich bin für jeden Vorschlag dankbar.

Grüße, michi