Como reproductor, yo usaría el VLC configurando el audio en salida spdif. Cuando pongas una película, el sonido saldrá en el formato correcto.
El ampli deberías ponerlo en AUTO (o similar, si tiene) así conmutará a un modo u otro según le llegue.