That's the second endorsement of an IOGEAR DisplayPort solution I've seen so far. The full product line is here: https://www.iogear.com/solutions/kvm
$480 to solve the dual head 4K DisplayPort problem, and it works, apparently.
Now, is that a reasonable price? I have to say I think so. This is not a trivial problem and this equipment isn't being manufactured by a dozen companies and flying off Best Buy shelves. Given the low demand and difficult requirements I think the price is reasonable. If your use case involves smoothly switching between 2-4 high resolution dual head systems $480-$680 probably amounts to something in the range of 5-20% of the cost of the entire system.
I don't buy the argument that this cost makes such a KVM pointless because one can simply buy more display(s) and input devices instead: that takes a lot of space and results in a lot of underutilized hardware.