Do we know when Koch got most of his stock? Is it possible that it's now freetrading? Or did he get an opinion letter somewhere?