If you are serious about your pond in the long term then a high quality EPDM rubber liner would be my recommendation. At the album's absolute worse, he just comes off lame-brained. They thrive in perfect harmony but once the balance gets disturbed, the damage cannot be undone easily.