My girlfriend's car decided for the timing cover to pop a coolant leak. It wasn't terrible bad until her mom drove the car around and came back without any coolant in the radiator. I am assuming she drove the car around overheated for a bit without paying any attention to the gauge. Now that this is fixed, the oil is only about quarter of the way through our normal change, would you go ahead and change the oil now or do the normal interval?