Значит вам нужно будет подобрать датчик по диаметру.
Посчитал симистор. Если 5 Ампер ТС212-10 + 0111 подойдет. Кстати 5 Ампер на каждый ТЭН или на оба?
Если такого симистора не найдете то можно например ТС112-10-10 - это еще советский, должен быть в любом радиомагазине.