Что делать, если в сервисном центре потеряли гаджет, отданный в ремонт?

Есть вероятность (проболталась приёмщица), что аппарат по ошибке отдали другому человеку.
На руках у владельца осталась квитанция. Есть серийный номер гаджета, IMEI.
Что он должен предпринять в таком случае?