Engine coolant leaked out of car. Just had 80,000 service done and service order says all of that was checked and okay this past December 2025. Normal? Just had car towed to dealership.