The remaining cost of the muck dredging would be just over $13 million and expends the remaining $5.1 million state funds that could otherwise expire.