Perry if you just look at the first pond, it is about your pond size and has a liner. When he first installed the liner he punchered it but didn't know it until it leaked. He drained the pond and patched it, and it has held up for several years now. So a larger pond liner is doable.
