Mja, als die interne pomp geen problemen geeft, hoef je 'm inderdaad niet te vervangen. Als ie wel problematisch is, is de strainer een veel goedkopere oplossing die even goed werkt.