I'm going to replace my vinyl liner this year and I'm trying to figure out when to drain it because obviously you have to to replace it but I need to measure for a new one and to get the best measurement It will have to be empty correct? I keep looking for answers and all it keeps saying is do...