icefr pretty well covered it. Your match is indeed awesome! I get 5.75% (will increase as I get older) for putting in 5% and my husband gets 6% for putting in 6%. Plus I can potentially get a 10% bonus depending on the company's performance, well actually my bonus could max out at something like 24%, but 10% is the target and I think we'll be in that range this year. It would also be possible for the bonus to be 0%.
So if I was in your shoes and able to contribute to a Roth IRA, then I'd set my 401-K to traditional at whatever % will get you to $17,500, then if possible max out the Roth IRA. I think of this as tax diversification, you get some money in tax deferred and some in tax free.
We put in 15% to our 401-K's pre-tax right now, that doesn't get us to maxing out, but debt paydown is our current target. Also, if my DH gets this job he interviewed for last week he may not have access to a 401-K for 6 months or more, in that case we'd go with some Roth IRA funding to make sure we're saving enough. I think our 15% saving level is "enough" for us to retire comfortably at a typical age, as the debts decrease we'll be ramping that up.