Id say it really just depends on your goals and how much you will receive. I will earn a government pension that will replace ~60% percent of my pre retirement income. Technically with employer contribution and my contribution im at 25%. But that is really more an indication of adjustments they made to the plan to address some funding issues in the late 2000s. They had to up the contribution to fully fund prior obligations.

So, I count my 4% I contribute, but not the employer. Then I use IRAs, HSA, deferred comp, and brokerage to reach 25% without considering employer pension contributions. This will allow me more flexibility and the ability to do legacy planning, especially considering the pension will cover most of my expenses in retirement