2017 4R with 16K miles and I have a small coolant leak around the water pump. Pink discoloration on both sides of the pump around the gasket so I am sure its the coolant. Amount lost is not a lot as I have never topped off coolant and the reservoir is still between high and low marks. I plan on cleaning, top off coolant and monitor. Should I do anything more proactive? Hate to spend almost a grand to replace pump and gasket but I will do it if the consensus says so.