Well looks like its time for a new liner, my wife and i installed this one back in 1995 so its reached the end of its life.(cant complain). I have a long split in the deep end that if feel is not worth the effort if even possible due to the age of the liner. My questions are should i go ahead and drain it with a pump or just let it drain by itself? Also is it ok to remove the old liner before the new one comes so i can prep the bottom, Pool bottom is vermiculite and portland cement so it is porous. Is it ok to expose it to the elements. What would be a good procedure to follow? Thanks ..