You are mistaken how the exit tax works. He wasn't expected to sell his crypto but just declare the fair market value of them and pay the exit tax. The fair market value would be the current price of btc at the time. Also, I believe when he did the exit tax it was after IRS released a guidelines...
