We just built our first pond as a quarantine project. We have spent the past 3 weeks digging and putting finishing touches. We purchased a pond kit online. Saturday evening we filled it and landscaped around. we felt so pround. Sunday morning noticed water line dropped. Drained it. found a bunch of holes. Went to localstore got EPDM patcges and applied them. We then realized we had a PVC Lliner. Are we screwed? Is thereanything we can do to patch the liner? Do we need to moveall the rocks and lay a EPDM liner??