The stock already reacted to that back in June. But, let's not kid ourselves, that wasn't good news and probably kept some bigger investors sidelined. I have no idea what is going on with that case, but all that really matters to the market though is how much oil ends up coming out of the ground.