Thanks very much for your answer and advice. Sounds like sump pumps are the best way to go if we decide to install the patio.