Anyone know if Robin sold his shares? I think he received 16 mil roughly for 0.03 cents each, that was a while ago though