Does anyone know if alex sold his 10 million shares yet?