I come from a perspective of an old guy software engineer that has been hurt by debt and have seen tough economic times in the engineering sector. I was doing quite well in 2001, who lost his job soon after the twin towers came down, and was under-employed for about 3 years. It took until 2016 for me to match/exceed my salary that I earned in 2001.
Since about 2006, software engineers have enjoyed plenty of employment and good salaries. Will that change in the future? It seems unlikely but it could happen.
I'd rate your personal finances at a B+ to A- you left out some important info, your income, house value, house payment. Provided your income remains somewhat constant, you are going to retire well. So you could just continue to march.
It seems that you bought a lot of car, which is pretty common. Cars are a real suck on wealth building because of the depreciation and the costs associated with buying a car. You probably paid around 3k in sales tax and in three short years, that car will be worth about 58% of its value. Assuming you paid around 45K for the car, you would have turned 48K into 26K assuming a zero percent car loan. That is tough to overcome. What helps you overcome that is your high 401K balance.
For some that is a choice they make, but I would ask you to be deliberate about your choice.
If it was me, I would cut down the 401K to match only, and aggressively pay off the car. I might sell the car if I could not pay off the balance in a year and get something nice but gently used. Once that is done, I would do the 15%, but also start trying to retire the mortgage early. Doing this will greatly insulate yourself from down turns in your own or the broader economy.
But in the end you are doing really well and are probably better off suited to giving advice rather than taking it. Very few households have 400K in retirement savings, fewer people your age do. While I would not advise this, you should be able to retire comfortably, if you never put another dime into your 401K.