I didn't see a storm section so I hope this is OK to post here. We have the potential here in Houston to get a LOT of rain, according to the forecasts. So my question is about draining my pool a little. If I should or should not? My pool is probably at least a couple 12" - 14" higher than my patio at my back door. I've never weathered a storm with a pool so I'm curious what everyone's opinion is. I don't know if it makes sense to drain it couple inches. Or do I just let the auto drain handle it, and leave it be. Thanks everyone.