We have had a wet basement, we are looking for a permanent solution for this. We have been told about digging around the exterior of the house down to the footings to lay drainage tile. The other option we have been informed of is installation of drainage tile inside the foundation. Which is a better option? Both contractors say that their way is the best.