I stopped putting money in 401k’s years ago, they’re a scam, take that money and pay down your house, you’re never going to see a dime of your 401k folks.
So what comes after the house is paid off?