Приветствую! Красным тосол однозначно быть не может, там антифриз на 100%, а доливать можно только красный. Скорее всего антифриз не менялся с момента покупки нового авто, так что лучше всего доливать родной. Удачи!