We're thinking of hiring a guy (I think he'll use a backhoe) to come dig down below the footings, tile, rubber coat the walls, pea gravel etc. to stop water from getting in. Our house is pretty small and square (apprx. 1200sq ft.) Does anyone have a vague idea of what a project like this may cost? $5,000, $10,000???? Thanks!!!