Does anyone know if the other board members had/have stock options here? How many they held? If they're allowed to sell before the default sale?