Water leaks are not going to be a problem on mars. Significantly lower gravity 3.711 m/s vs 9.8m/s also drastically lowers pressure from burrowing.