As a preventative measure, should the ceramic seal on the Superpump I be replaced at certain intervals? Other than noisy operation, as mentioned in the owners manual, are there any other useful criteria to determine replacement? If it fails, are there obvious leaks under the pump?