I think 800 mil is safer to say, reason when I was gathering share totals I was well into the 300 mils and still ahd 30-40 plus longs that didn't give their totals ...
Maybe 1 mil was retired but 200+mil for insiders? wouldn't that some that could proven through records or something...