Just got the car back from the garage and they've filled the antifreeze to the brim. Is this OK what they've done here??