Генадий, приветстсвую.
Диаметр зонда можно любой разумный от 1 до 2,5мм. Если не получится под имеющиеся отверстия то подойдет вариант с другим расположением, главное чтоб не попал на край отверстия где имеется штырь, сложновато будет крепить. Штырь могу и удалить, и зонд вместо него, это не принципиально. может есть смысл попробовать зонд вместо штыря а на место отверстия для зонда настроечный штырь?