Nur mal als Hinweis:
1. ARC = Audio Return Channel
Ein Fernseher hat einen ARC-fähigen HDMI Eingang um darüber an einen AVR den Ton zurück zu senden. Das hat mit einem SAT-Receiver nix zu tun.
2. Mit dem Tool XMedia-Recode kann man jedes Video/Audio Format in ein anderes umwandeln. Das dauert aber je nach Rechnerleistung schon gern mal 0,5-2 Stunden pro Film.
Und als Tipp von mir:
Wenn man so viele externe Festplatten hat, dann sollte man mal über ein zentrales NAS nachdenken.
Dort kann man sich dann z.B. einen Mediaserver ala Plex oder Emby installieren. Dann kann praktisch jeder Smart-TV mit der entsprechenden App darauf über Netzwerk zugreifen.
Weiß ja nicht, was Du als "Gäste" bezeichnest. Hotel oder Zimmervermietung? Dann würde ich dort auch keine Dreambox verwenden.
Aber all dies hat mit einer Dreambox (oder anderen SAT/DVB-C Empfängern) auch nichts zu tun.