Yes, I would repair the liner with the pool full. I never had good luck with the peel and stick patches but with a Boxer vinyl repair kit you should be just fine.

Dennis