Beats me. The only way to "retire" free trading stock is to buy it on the market and then retire it to Treasury. We don't know whether he actually did that or not.