Pay off the credit card. If something pops up, just put it on the credit card, otherwise you are getting no interest vs whatever rate the credit card is at.
Example.
10000 at 12% APR is about 100 a month in interest.
If you pay 1000, you are saving 10 a month in interest. If something comes up and you charge 1000 back to it, you will be 10 dollars ahead because of not paying the interest that month.