pool crack repair administered on North Dallas pool