I don't know which of the three options is best (maybe a combination of all three), but I would lean toward #3. It is a bit tedious, but not that hard to get the liner back into place again, and pumping the excess water out is the only way I know to keep it from floating again.

Might want to wait until the remainder of the rain is over to make sure that you don't have other damage that has to be filed on insurance. If so, then maybe the liner could be added in as well.

I don't know where you live but hope that you don't have too much storm damage, and nothing else in your water that a good shocking won't fix. Looks like we're going to need to get ready for Gustav soon.....it's really scary that the anniversary of Katrina is right around the corner, and she started out to be a strong storm (like Gustav) with a smaller storm behind (like the other one that's out there now). Lots of people getting nervous around here.........

Janet