Sinceramente non sò, non mi ero posto il problema
Sul manuale c'è scritto che quando si collega un apparecchio hdmi automaticamente viene assegnata l'hdmi come sorgente audio , ma poi dal menù digital audio dovresti poterlo cambiare manualmente.
Magari questo fine settimana faccio delle prove collegando la ps3 anche col cavo ottico e ti dico.
Intanto hai per caso la possibilità di disabilitare l'audio attraverso hdmi dalle sorgenti che colleghi? così forzi l'ampli e ricevere l' audio tramite entrata ottica.