Folks,I have a small hole on the bottom of my liner caused by a tiny rock that was not removed before we filled the pool. The pool is on a cement slab and has been sitting with that rock for about 2 months now. I think the vacuum finally nicked it. It is a tiny puncture. What is the best way to go about fixing this hole. I really only need it to last for a few more weeks. I ordered flex tape, but would love suggestions. Do I use the patch that came with the pool, I would need to get some glue then. If so, what glue. Do you think I could just throw some tape over the hole with the rock still under it. Should I remove the rock by enlarging the hole and then taping it. Since it's on the bottom of the pool, I can only tape it from the inside and not both sides. Any advice would be appreciated!