Is your savings paying more than the credit card? If not, pay off the card with non-retirement savings.
If your savings is paying more than the credit card, take the card to the max and put it in savings. :)
:) Thanks. That makes total sense.