Does anyone have experience with an HDMI KVM they can recommend? Finding myself with a lot more “project” time now, so I broke out my IOgear VGA-based KVM. Works fine, but there is a noticeable decrease in video quality from the HDMI connection. (I’m only looking for 1920×1280 resolution.) IOgear makes an HDMI KVM, but it’s a bit pricey, and I’ve seen other brands at half the price. If someone currently uses an HDMI KVM that they can recommend, I’ve like to hear details. Thanks!