I've got 36,000 miles, but more importantly, 6 year old Dexcool in the radiator. The coolant change procedure in the factory manual is a little wierd: open the expansion tank 1/4 turn, let it hiss and let off pressure, then drain it, then fill it, run it to 212 degrees F, then let off pressure...