Could this be a programmed trade, I.e a periodic trade that he had to previously declare to the SEC.

Also any PRs will be released at 3 am Pacific time just to screw up our sleep. I am making an assumption you are on the West Coast based on your moniker. LOL