I have a pension with the state that I work for. 6.25% of my gross pay gets automatically deducted for this pension. Once I hit 5 years I'm guaranteed a pension (very small one). At 25 years I get healthcare + a percentage of my pay that I'm not sure of and at 35 years I get healthcare + 85% of my pay. While it would be nice to make full retirement, I can't guarantee it, so I am preparing with a separate account. Currently I am only contributing 2.5% to this 403b (like a 401k).

I have researched and seen a good number to start with retirement contributions is 15% if you're still in your 20's. Can I count what I'm contributing to my pension as part of that 15%? or should I aim for 15% to 403b + the 6.25% pension?