Главное купить не только датчик (157 руб), но и разъем (продается отдельно, цена 38 руб).
Родной неисправный откусывается и новый крепится на скрутку (или пайку).
Особенно актуально для датчиков старого образца (с кабелем) которые стоят по 2 000 руб.
Подсказал Sheremet.