В общем, отвечаю сам, что удалось найти. Самые доступные варианты:
1. AdderView AVX5016IP - порядка 80 тысяч рублей. Правда, интерфейсные модули нужно приобретать отдельно. Плюсы этого варианта в 16 машинах - удобно, т.к. решение с запасом. Также здесь доступно 4 независимых подключения по ip к разным машинам, и ещё одно независимое локальное место.
2. Приобретается обычный KVM на 8 машин, но с двумя независимыми консолями - для двух локальных пользователей. Например, ATEN/ALTUSEN KH2508A (20 тыс. руб.). Далее к нему приобретается ATEN CN8000 (15 тыс. руб.) - Удлинитель/IP KVM шлюз, благодаря которому обычный KVM становится доступным по IP. Собственно, если купить 1 такой удлинитель, то 8 машин могут быть доступны одновременно двум пользователям: одному локально, другому - по ip. Если два таких приобрести - оба пользователя могут по ip работать с разными машинами.