Samsung Smart TV und Heimkino mit Receiver

Hallo zusammen,

also ich suche eine möglichst elegante Lösung für folgende Hardware:

TV: Samsung UE46D6500
Receiver: Dreambox 800 HD SE (läuft über HDMI)
PS4 (läuft über HDMI)
geplantes Heimkino: LG BH6440P (um die 230 € Kosten)

Ich würde gerne das Heimkino für den Receiver und die PS4 nutzen ohne ständig das Kabel zu wechseln, wenn ich es davon nutze. Sowohl Dreambox als auch PS4 haben einen Toslink Audioausgang. Das Problem ist, dass ich gerne Kopfhörer am TV haben möchte, da die Partnerin ab und an mal telefoniert oder anderweitig beschäftigt ist. Gängiges Problem bei den Samsung TV ist, dass die Kopfhörerbuchse am TV automatisch die internen Boxen ausschaltet, sobald ein Klinkekabel drin ist. Also müsste man immer das Kabel reinstecken und rausziehen. Der der TV an der Wand hängt, ist das nicht denkbar :D...

Nun ist meine Idee ein Heimkino anzuschließen, um sowieso mal den Sound für Filme zu optimieren. Dann würde ich auch das Klinkekabel bei den Kopfhörer durchgehend drinsaßen können, da das Heimkino den Sound wiedergibt. Alternativ bietet das oben geplante Heimkino die Möglichkeit den Sound zu "sharen" und dann mittels Handy zu hören.

Option 1:
Mein Smart TV hat einen Audioausgang direkt am Gerät. Weiß jemand, ob die eingehenden Audiosignale über HDMI an diesem Ausgang durchgeschleift werden, oder ist der Ausgang nur für den internen Tuner?

Option 2:
Die alternative Option suche ich noch Ich möchte ungern jedes Mal das Kabel wechseln, wenn ich die PS4 nutze.

Ich habe leider nur vage Grundkenntnisse im Bereich Hifi und komme mit "try and error" voran :D. Eure Hilfe wäre daher gigantisch