I have a 2015 Prius V that is close to 100,000 miles. Is a DIY change of inverter coolant as simple as drain, refill reservoir, and run the pump for 5 minutes while topping off? Is special equipment necessary? Also, is a replacement of the electric pump wise at this milage, as a precaution?