Машинку мне вернули.
Полностью в итоге вышло так:

Ремонт стартера (1 операция) – 1900
Тех.подготовка стартера к ремонту (1 операция) – 800
Снятие/установка стартера (1,5 операции) – 1575
Диагностика ДВС (0,5 операции) - 525

Почему они его устанавливали полтора раза, а тестировали всего половину?

И еще запчасти:
Хомут, хомут, 6 хомутов, в общем – рублей на двести.
Mobil Antifreez Extra 1 л – 185 руб.
Масло трансмиссионное Mobil ATF220 Premium 1 л – 220 руб.

А зачем в стартер заливать антифриз?
В общем, итого вышло 5400 руб.