I'm facing a filter replacement. The current filter, a Pentair 145322, has sprung a tiny leak. Since the pump/filter is in a pool house, a leak is a problem, in any case the leak would probably get worse. This is a plastic tank, the leak seems to be on a seam. Checking a local dealer for a...