DC Water did not respond to requests for information about the scope, timing or cost of recovery and repair, or contractors involved in the effort—but reports say it could total up to $10 million.

The Gateway Development Commission sued the federal lawsuit challenging the government’s hold on grant and loan funds for the project.