Depends on your price range I guess. You can find iogear/belkin HDMI 4 port switches for a bit under $100. Generic ones will be even less (maybe even around $50). I personally use DVI KVM from iogear (GCS1104) which cost me about $130, one of my machines is a gaming rig with Nvidia card and it works flawlessly.