In my opinion, once the cooling system is opened, it’s best practice to replace all serviceable components. This includes the thermostat, serpentine belt, associated gaskets/O-rings, and the water pump if there is any noise, seepage, or unknown service history. I stopped using Toyota Red coolant...