Свистит помпа - гарантийный случай? Опции

[RealMK]

Недели 3 назад что-то стало свистеть под капотом в районе ремней... в основном на горячей, иногда сильно иногда не очень. В общем достал меня этот эффект несмазанной телеги и поехал я в сервис. Сервисмэны покопались и сказали что это помпа свистит. Но сказали что инжинера по гарантии нет, а именно он должен разрешить ремонт по гарантии, сказали приехать во вторник.
При этом сказали что платно это выйдет около 8 тыщ, т.к. много работы + замена ремня ГРМ.
Так вот вопрос: должны поменять по гарантии? или могут сказать: свист не поломка, хочешь меняй платно?