5) Buy a $250 Geffen DVI switcher instead and buy whatever pre/pro you want. Very few receivers or pre/pro's have DVI switching, but Geffen (and Extron, but for much more money) make seperate DVI Switchers, Geffen has several models available, a 2-1, 4-1, 4-2 etc, all controllable by discreet wires remotes. This way you just add the switcher comand to any universal remote and it's the same as if you have the pre/pro do it. This also opens up many different options for processors...
Ken
Ken