I believe they would have to file a Form 4 with the SEC and that would be published. I'm just not sure if they have to do it before they sell or if they can do it sometime after the fact.