Interesting. If I were them I'd move to a state that didn't have a state capital gains tax before cashing out. Then again, I guess when you cash out 3.7 billion dollars in a single year, 380 million seems like pocket change.