Like I said there's nothing like peace of mindNothing if he doesn't need to take it out.
There's really no reason to pay it off now or in 3 years. The market typically recovers from a recession within a year.
He can mitigate sequence of withdrawal risk with something as simple as a CD ladder while he keeps the vast majority of his retirement money in higher return investments.
No matter what happens you know where you're at