Addition to the RAND HRS Longitudinal Files: IRA Withdrawals in the HRS, 2000 to 2014