Water pump pressure switch - repair or replace?