Hi, I have an inground 22x42 vinyl pool with aluminum coping. Replacing liner and was considering bullnose coping. Had pavers with 1' border installed about 10 years ago when we moved in. Mason is saying that in order to do bullnose, we should peel back 3ft in order to "even out". He wants to charge $2150 to do the bullnose and $3150 to do the peel back part. Already spending a lot to do the liner and not sure about the need for going back so far. Any advice? thanks!