does anybody know how to make measurements for vinyl liner. i need a replacement because of fading very badly. The pool is still full of water and i don't want to empty it until i have a new liner. if there is a written procedure anybody knows of i would greatly appreciate your help. the last pool guy made deep end depth measurement by using the pole for the leaf rake. i have no idea how he did that. THANKS again for any help.