He should've sold at least some of them in december 2017, selling them now wouldn't be as profitable. If he infact wants to sell all his BTC I think he will wait for a bigger price.