Is there an affordable 4-port DisplayPort 1.4 switch? How are they almost 10x more expensive than HDMI variants? Paying 500€ for a KVM box is not justifiable, I only want to avoid physically re-plugging the cables.