Если масла стало больше чем было раньше, и изменилась его консистенция и цвет - то тогда сервисмены правы

То же если в расширительном бачке появились радужные маслянные разводы.

Но по идее, если тосол уходит не на улицу и не в салон - то иначе чем как вовнутрь двигателя ему уходить больше некуда