Thanks, will look into to those options. Are the Boxer peel and stick patches any good or should I skip them? I always end up making a mess with the cement that you apply yourself to patches, but I’m willing to do it again.
The liner was actually replaced just before we moved in 2.5 years ago...