We did have the inside of the basin dredged. It came out good. We worked with the environment people and everyone, and we found a spot to put all the dredged oil. That worked out very good but it took a number of years to do it.
It's good there now, but we have a problem getting to the basin now. It's major work. It seems like it takes an awful long time to get that stuff off and gone. But now we have to get to the basin.