Yep, as per the previous and recent thread on just this topic, drain out all of the old stuff completely and replace it with new, whichever you go for. My pump is certainly a lot happier as a result. Good place to start as Carl says (and cheapest...)