Датчик - довольно популярный расходник, должны их продавать. В крайнем случае можно в интернет-магазинах себе заказать.
А я обычно в сервисном центре такие датчики заказываю. У них всегда есть подобные расходники, а если и нет, то под заказ привозят.
