Да, придется заменить антифриз.
Похоже на сервисе поленились снимать пластик с NM4 и заменили только то что в бачке, взяли за эту услугу 3600.
И это как-бы официалы, Супер Марин.
Но снимается пластик действительно сложно.
В общем хочешь качество - делай сам...