What is the opinion of Reddit about the
STARTECH.COM SV211KDVIGB 2 Port USB DVI KVM Switch with Audio and Cables?

I have purchased DVI ones for far less than that – maybe this. A little less than $800. But it’s a solution, maybe not the best.