my friend's Mini's radiator was clogged and resulted in an overheated engine. i was surprised as the car is not that old and mileage is relatively low. Any idea what coolant you guys use and how often you change it (flush and clean the cooling system)?