Need suggestion to patch a rip on vinyl liner. It's about 3 in on the wall above the first step. It's concrete inside. It's awkward as I cannot press the patch against the wall as it'll rip more. Good thing is I can lower water level to keep it dry. Any suggestion about how to fix it with what product or tool would be appreciated.