Bought a house last year with an empty pool. Getting it replastered and was wondering if we should get the main drain plugged? Pretty sure the piping is old 1.5” copper but not 100% sure. Don’t really want to pay $375 for pressure testing. If we don’t plug it now and it leaks, is it hard to plug...