Have been using hardware KVM switches (HDMI/USB) from Belkin and some unknown brands from AliExpress since years. I don't remember the price exactly, but it was way under $100. I even contacted the Chinese manufacturer to change the PCB for me (I wanted the ports repositioned) and they did a very good and quick job for under $300. I'm talking dual computers in this case, not more.