Google Linux servers hit with $5m patent infringement verdict (The Register)

I think not.
I'm not an expert, but I think Texas oil is pretty much dead.

There's some big oil companies there, but they're drilling elsewhere. I believe the biggest find by far in the US (in recent years), is the Bakken formation in Montana. Last assessment was about 22 billion barrels of oil (2008 USGS survey) - but only about 3-5 billion are recoverable. And yes, this is mostly from the last New Yorker.

But Wikipedia seems to agree:
http://en.wikipedia.org/wiki/Oil_reserves_in_the_United_S...

So,yah, bye bye Texas :)

Even better - with no say in our government, we could finally actually tax the oil companies, via tariffs, all the drilling they do elsewhere, etc.