Hi all. My first post.

I have a 1-year old inground vinyl pool. Just found my first hole. it's a 1/4 inch puncture, looks like due to my son throwing action figures (everything in my house has such holes).

it's 1 inch above waterline... so i can drain down a bit to really get at the patching.

I read BOXER is the brand you all like. still true?

Ands what's the difference between Boxer adhesive #100 and #110?

Lastly -- I have a Dolphin dx6 pool cleaner - and it climbs the walls to scrub at the waterline. Any adivce on patching such that the robot won't pull the patch off in the cleaning process?