I wonder if he still holds all that in his Roth IRA.