It depends on the 401k Loan rate.Playing devils advocate, would you rather get double taxed on it or pay the interest to someone else?
When I got my Model S back in 2013, the auto loan was 1.49%, while my 401k Loan rate was 7%. In that case, double tax on 7% was more money than just paying Alliant Credit Union the 1.49%.