Dont forget if you have a smart tv you can feed all the hdmi imputs into that and then a single hdmi into your amp a lot less messy
I used to have PS3, Xbox, SkyHD, Mac & PC all running through my Samsung TV and then one single HDMI to the Amp, I did use a toslink but found there was slight lag between picture & sound
You dont need loads of inputs on the amp then you have to keep switching between inputs, its easy everything goes to TV then TV outputs whatever is playing through it to amp, no switching inputs, whatever you are watching you are hearing