Audio del sat da amplificare

Devo amplificare l'audio fornito dal mio decoder satellitare.
Il decoder ha un'unica uscita hdmi, che già utilizzo per altro.

Quindi ritengo di avere soltanto 2 possibilità:

1. collegare all'uscita hdmi del decoder satellitare uno splitter, in modo da veicolare il segnale hdmi all'ampli tramite cavo hdmi;
2. utilizzare l'uscita spdif del decoder satellitare, ed inviare il segnale audio all'ampli tramite cavo ottico.

Qual'è la migliore opzione? (fermo restando che un cavo dovrebbe costar meno di uno splitter)
Esistono altre possibilità che mi stanno sfuggendo?