I have no information that shows restricted shares have been sold after hours. That was just speculation by posters on this board. The float remains the same.