I know that assuming is the mother of all f'ups, but since that was filed is it safe to assume they are done selling?