That was just a guess on their part. I don't have any idea of how many restricted shares are still out, but I'm guessing it's fairly substantial. Incidentally, I bought shares for my kids and grandkids and the certificates are sitting in my file cabinet. No sale yet.