Apparently he parted with the 15k shares at some point though, so presumably whatever price those were sold for is what all 25k would have been sold for, had he received them.