 They shut down their pumps and everything like that as a safety precaution. Once again, they have gone back up pretty quick. I follow the Gulf Coast gasoline basis, and it tried to make a move up, and then we saw selling later in the afternoon. What that tells me is that the refiners know that they're going to be able to get it back up pretty fast. The damage was not significant. So I don't think it's going to have an impact on crude in the Gulf. I don't think it's going to have a massive impact on gasoline either. Sometimes when you see these things, especially like the Colonial, if it takes...