Какой марки подойдёт термостат к этой машине? Родные уже не выпускаются

Датчик температуры 54123 для стиральной машины Hotpoint-Ariston, Indesit

От этих стиральных машин должен подойти: ATL74TX IT, ATL94TX EX, TX100 (EO), TX100 (EX), TX100 (FR), TX100 (IT), TX60 (AR), TX60 (EO), TX60 (EX), TX60 (IT), TX75 (FR), TX80 (FR), TX80 (IT), TX85 (EO), TX85 (EX), TX85 (FR), TX85 (IT), TX90 (FR)