Wonder what it would cost to rent an empty tanker, pump the water into it while replacing the liner then dump it back into the pool - might be less than the $1,300 for buying new water.