I’m 38 with $315,000 saved for retirement, but have $30,000 in debt. Should I lower my 401(k) contributions to get rid of that debt?

I’m 38 with $315,000 saved for retirement, but have $30,000 in debt. Should I lower my 401(k) contributions to get rid of that debt?
Added wrinkle: He has two kids, which makes it hard to pay down the debt