I just (3 weeks ago) got my 2000 4runner serviced, and was today sitting in a drive thru, looked down & meter was at RED! 145000 miles. Took it back to them, they checked, filled "reservoir" and said to watch it. "Smelled coolant" they said. What does this mean?