Juanita is 25 and earns an annual salary of $50,000. Her marginal income tax rate is 20%. Her employer has a safe harbor 401(k) that contributes the legal minimum, using the matching option. Suppose she invests enough into her 401(k) this year to reduce her take-home pay by $1000. If she earns an annual pre-tax rate of return of 5% on her investments for 40 years, then how much can she spend in retirement, assuming her marginal income tax rate in retirement is 15%.