I wonder what price he got in at. Probably around 6k? That'd be a good 100% profit and that too for a large chunk. Some would say it's a bad trade considering bitcoin seems to be in the early stages of a renewed bull run. But as long as he's happy with the trade, then who's to question it.