Hello. At some point I will be purchasing several 2011 Mac Minis. I will need to connect them to VGA+usb ATEN KVM. I would rather not use the thunderbolt port, but rather HDMI. Does anyone know of good models that don't cost too much and work well? The resolution I would be running would be 1920x1200. Thank you.