Hey -

Was in the pool today with the kidos and noticed this odd tear at one end of my AGP above the water line.

Not really sure how the heck this would happen, it's patchable though.

Just curious, is this worth bringing up with the pool place? I installed the liner myself, so not sure if that voids any warranties or anything.