Sorry he has to take it out of the ROTH IRA. You can only contribute from earned income like a W2 or a Net Profit from self employment.
