Отписываюсь о результате. Через 2 недели пришел датчик, но я уезжал из города. Так что в результате сегодня за 2,5 часа произвели замену. Ремонт и все процедуры - по гарантии.

Для справки:
после первичного посещения СТО и заменой датчика прошло 4,5 тысячи км., ошибки повторно не было.
Надеемся, что это был едичный глюк.