it doesnt matter if he sell or keep holding , but the way OP asked this is he has no that trust for Binance coin si maybe he had sold already His coin.
imagine if he still holding that , he is already richer by multiple amount now.
In general everyone always has a personal decision for them to make, and if he had sold it before it was pumped, then he could also buy it back at a time of correction like now even though the price is different, which is still a good thing to buy, so this is is not a significant problem.