So, I am going to do a flush and refill along with a new thermostat. The issue is the existing coolant. Despite the warning on the reservoir about special coolant, the PO apparently used the green stuff. I've read the discussions about the HOAT coolant and not mixing with the green stuff, but what if you don't know for sure what is truly in the system? Can I do a thorough enough flush and then go back to HOAT or should I stay with the green coolant? I sure don't want to create an issue with the mixing of coolants but it may have already occured.