I bought my SAVE shares with "play money" and not my 401k contributions. I was interested in buying some well before I'd ever heard of Covid. I actually bought a few shares at the high 30s. Then a couple months later it was down to single digits so I bought a lot more.

My retirement account is 100% low cost index funds

someone above posted about a 401k calculator that takes into account a company DC fund. I have not found one but you can kind of trick it into what you want but saying you get a 15% dollar for dollar match. But that assumes that you put something along those lines into your 401k on your own

Btw, the fact that you can't find a 401k calculator that works for you shows how much better airline pilot retirement benefits are compared to normal folks