Source: https://money.stackexchange.com/questions/20411/can-roth-ira-first-time-home-buyer-withdrawals-be-made-up