I would keep contributing to retirement. $5k in loans is nothing. Even if that was a typo and its more like $15k in loans, I would contribute as much as I can get a match for (and when you say every penny is matched, you better believe I would contribute everything I could to retirement!).
Its a difference between 3-7% interest on your debt and 100% on matched savings and ~25% on pre-tax savings. Mathematically, I would take the loans. Student loans are kind of scary because they can't be discharged, but if you have a solid plan in place, they are relatively low interest (now, at least!), low amount, and lower risk. I think the tradeoff between debt risk and maximizing savings is worth it.
For context, my DH and I are prioritizing investing heavily over paying off our student loans.