Everybody here coming to you from Cove Bay in Barbados, it occurred to me that the Gulf of Mexico just got hit by a hurricane, and I wanted to tell you why it doesn’t really matter. Well, I mean, it does matter due to property damage, especially in an era of rising sea levels and bigger hurricanes, obviously, that has an insurance implication that hits us all, because insurance companies then have to make up for it, either by higher premiums or by charging everybody else more for insurance. So it does ripple through the system, but from an energy point of view, it doesn’t really matter. The United States is no longer simply energy independent. We are now a net exporter of over 4 million barrels per day, not of crude, of refined product, and that puts the United States into a category that no other country has ever been in terms of being an energy power. Now, the Gulf of Mexico used to be one of our major energy positions, and back when I was working at Stratfor in the aughts, part of my job was to basically chronicle how much stuff went offline, how long it would stay offline, and that gave us price increases that would last not for days or weeks, but months and even a couple of years sometimes, because it took a long time to repair the damage, to go and untangle what happened on the seabed with the pipelines. It was brutal, and we would feel it for a long time. Not anymore. One of the many weird things about the shale revolution is that all of the production sites are onshore. And unless you get so much rain that everything floods in your field, you’re talking about a time to bring them back on that if it goes off at all, is measured in days, and you can bring on a completely fresh well in weeks. So we have seen the price argument and the national security argument for energy production in the offshore Gulf of Mexico dwindle and dwindle and dwindle, and so even though the most recent hurricane just plowed through some of the best production real estate, the Gulf of Mexico has only taken off somewhere between 650 and 750,000 barrels per day, which is not that it’s an insignificant amount, but the United States, if you include things like associated production from natural gas liquids and condensate, we now produce close to 20 million barrels a day, so you’re talking about less than a 5% reduction, and the shale guys are already spinning up their drills to bring more production online to displace it, and it’ll be weeks to months before the offshore producers can even pretend to catch up. The price structure has just changed so dramatically. For natural gas, it’s actually even a little bit better. We’re talking about 750 million cubic feet per day. That is right around one to one and a half percent of U.S. natural gas production. So we’ll barely feel that outside of local markets at all. And same thing, the shale guys are going after gas wells to supplant it. So think of it this way, if you’re in the Gulf, you are now the piggy bank. Should anything go drastically wrong with U.S. shale production, the reserves in the Gulf will be there for another generation, but it’s probably going to be another generation or two before that’s relevant. All right, that’s it for me. Take care.