They won't sell those until the float has happened. I spoke with MC about this, he said he thinks half the small holders are unlikely to to take any action and let the holdings be divested.