Personally I am somewhere between these two responses..... and for this reason. It is possible to switch HDMI sources into a single DVI socket, agreed, however by doing so you omit the audio feed.
This goes back to the questions to be put to the UK CEO - you have to run scart for audio, and really SPDIF for digital 5.1 - try squeezing that lot into the back of your 7-40 MK1/2!!