I am curious if anyone has used a DVI switcher? How well do they work, and do I have to be concerned about loss of quality with the switcher? Thanks!