We're considering hiring a firm of specialists to dig us a basement, so we get an extra floor (cheaper than moving) Has anyone done this?