I remember commenting on this well last year when they announced the depth and commented there was "significant" potential. A year later and the pool still isn't fully identified and there are likely many more such pools in the Gulf of Mexico and production still won't happen for a few more years.
And this is just the beginning. Funny how all those people commenting on elevated drilling activity in recent years not resulting in new production, it was pretty obvious they forgot to consider the length of time it takes for such production to come on stream. Regardless, there's still plenty of oil to be found in the US (let alone in many places in the world) so there you have it folks, Peak Oil is dead.