Builder put almost two feet of gravel in the crawl space hiding a water problem. Home owner is considering interior drainage or exterior waterproofing.