Should the Gulf be freaked out by the US shale boom?