Hey everyone, our new to us pool was built in 1994 and was told it was gunite construction but it has a vinyl liner and liner was replaced 11 years ago. Is it common for a gunite pool to have a liner? Liner seems in decent shape other than some fading on the top in places and one corner where it is sagging below the coping about an inch down and 3 inches wide (not sure if that should be fixed or better to leave it as is).