I have a similar setup at home. I used the 4-port version of this:

http://www.iogear.com/product/GCS1642/

This is the 2-port version, and MSRP is just under $500. Amazon has it for $345 http://www.amazon.com/IOGEAR-2-Port-Switch-Audio-GCS1642/dp/B004GKM9JK Add a few DVI-HDMI cables from Monoprice for a few dollars, and you are in business.

EDIT: Added Amazon link