Dave,
I am going to check on that, as I am not sure and want to give only accurate information, I had a problem with a pump yesterday as I did not flushed the pump about two years ago and have to do that, I will let you know if there are changes.
Regards
Alejandro