That's a lot of water to throw out. There is no simple way to correct that without a lot of work. I would be inclined to leave it as is, but I am not a pool expert.
A forum community dedicated to Do it yourself-ers and home improvement enthusiasts. Come join the discussion about tools, projects, builds, styles, scales, reviews, accessories, classifieds, and more! Helping You to Do It Yourself!