My son just found a small rip in bottom of pool. We have notice it has gone down a bit recently. Can this be fixed without draining pool? I heard of Boxer glue any ideas?

Thanks
Vicki