Don't know,but they still hold a significant GMC holding. it was only options sold too. Perhaps they have a tax bill to pay.