Oh boy, This sounds like it’s all been a real headache 🙁
As for the patch, I would just monitor it. If it starts to peel up or something you can put a larger patch over the top of it.
While patches on a brand new liner aren’t ideal sometimes things happen and it’s necessary. There’s no hard and...