OK, taking your advice. I just drained about 18" which is roughly 9,000 gallons. Did not want to get too low in the shallow end and risk floating the liner. Refilling it now. I realize 9,000 won't get rid of everything, but it seemed like a reasonable start. That represents about 30% of the...