 and distillate pipelines and jet in the country, 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.