everything else you said sounds possible. but we know doc has not sold a share yet. he has 1 month left on that filing to sell some, none, or all. he can always let it expire and file another one