Pretty sure most of his inner circle did, huge spike in calls bought right before the announcement.