Нашёл на алиэкспрессе продавца с похожим корпусом, описал, какой именно вариант мне нужен, и уже на следующий день они выставили необходимый товар в магазине аж в 4 вариантах (10,20,50 и 100 штук в одном заказе) в чёрном и сером цветах, на выбор. Попробуйте списаться с этим продавцом, судя по фото у них есть нужный Вам корпус (без отверстий для светодиодов), дополнительную плату за добавление в магазин нового товара не взяли, итого с доставкой вышло 63р за корпус (для 20штук).

Хм, а если будете заказывать такие доработанные, можно будет штук 10 купить? Сколько примерно выйдет за корпус?
PS: в китайском st-linke в крышке ещё есть 2 отверстия под обычные выводные светодиоды. (вот)

Такой вопрос возник вот почему: я заказывал себе китайский st-link в очень похожем корпусе и переделал его в программатор Versaloon (прошивает кучу контроллеров + spi,uart,i2c,pwm,gpio конвертер). Хочу ещё несколько штук собрать, но подходящий корпус найти не могу, а этот идеален как по габаритам, так и по интерфейсам (miniUSB + IDC-10) даже дорабатывать напильником не надо.

Где взять такой корпус, как на первой картинке???