Wed, May 22, 2013, 12:00 AM EDT - U.S. Markets open in 9 hrs 30 mins
As shown in filings
he was long it awhile ago, and when you read the filings again, he will have sold most of his position - that's the problem with filings.