In other words, normal in the Gulf for this time of year.