Yup, unless GP for some reason can only buy 401k into their own company, rather than some broad-market fund, in which case if they're specifically skeptical about their own company then maybe not putting stuff into a 401k.

But yea generally pre-tax dollars are better than any other investment you can reliably make.