driving on interstate the other morning my serpintine belt broke. continued to drive to my destination approx 10 miles. coolant boiling like crazy of course. replaced belt later that day. everything seems fine. should i drain and put in fresh coolant? coolant had less than 10k on it.