Dip Into My 401(k) to Pay Off My $25,000 Credit Card Debt?