Why doesn't she take a hardship distribution from the 401(k) for the full $7,000? There's no penalty at her age, and with her standard deduction, it might not even hit the tax tables.
https://www.irs.gov/retirement-plans/plan-participant-employee/retirement-topics-hardship-distributi...
*******************************
Don't yell at us; we're volunteers
