It has been known for a long time, but this confirmation is rather interesting.
you mean they can dig 3K feet for a crater and they can't drill for something productive like oil?! Let's call it geology instead of oil exploration. We'll date a little of that carbon stuff and send it off to the "lab" for a little "refined" inspection.