He would be in debt of capital gains tax on the difference amongst the present value and the value of the coins at the time he got them. This tax must be compensated to the country in which he got the house, and, rather possibly, also to the U.S. If that's the case, he might want to ditch his U.S. nationality before he purchases. Moreover, he absolutely has to hire a cleverer lawyer.