Der CP750 hat doch gar kein HDMI, insofern kann auch per HDMI nichts im CP750 ankommen. Entweder meinst Du einen CP950 - der hat einen HDMI Eingang, oder aber, wenn Du HDMI verwendest, dann extrahiert der HDMI Eingang deines Projektors bzw. Servers das Audiosignal und leitet es über seine normalen AES-Audioausgänge genau wie bei DCPs an den CP750 weiter. Die Server wie IMS2000/3000, Doremi ShowVault können dabei aber in der Regel keine komplexen Mehrkanalbitstreamformate decodieren und bleiben bei sowas stumm (soweit ich weiss kann der IMS3000 zumindest AC3/Dolby Digital Bitstreams).
Der SAT Receiver müsste aber AC3, Dolby Digital, dts, etc. auf mehrkanaliges LPCM über HDMI ausgeben/umwandeln/decodieren, das machen vermutlich die wenigsten.
Die klassische Lösung ist beim CP750 eigentlich, dass der Sat-Receiver einen separaten Toslink/S/P-DIF Coax Ausgang hat und darüber AC3/Dolby Digital ausgibt, dafür hat der CP750 eigene Eingänge, die daraus auch Mehrkanalton decodieren können.