I got my 2012 Wee in March this year and she now has 9K miles. the manual says to change out the coolant at 7500. Oops, missed that I guess. So, my question is - do I actually change the entire coolant, or top it off if needed? I'm a girl who takes things literally, but maybe I only need to top off the tank? Any advice from those in the know?