True, but we already discuss that, and right now, it is simple and effective.
Plus, when Mike will eventually add other sources (Cable Box TV, Blu-ray player, etc.), life will be easier for him, as he would already be set to simply add those other future sources, by simply plugging them to the back of his receiver. So, he's already set for the "switching" feature of his receiver.
* Mike already mentioned the video "switching" capability of the receiver; so you can easily deduct from it, that he will eventually use that nice feature capability of his receiver.