First time pool owner here. Just finished having a filled-in pool renovated last week, and am in the start-up phase. Basically the pool had copper piping (1 1/2 inch) throughout. I replaced as much as possible with PVC, except for two 4-foot sections that go to the returns(I couldn't tunnel far enough down to replace those sections). So yesterday the pool company came out and installed a Rainbow 320 chlorinator for the pool, and this morning I'm reading that it shouldn't be used with copper piping. So am I OK with just having those small sections of copper along with the chlorinator???, or do I have to call the pool guy back out and tell him to remove it altogether. Thanks in advance for any help.