Good to know. It's actually related, as gas is both another important energy source and plays a part in the more advanced oil production techniques.