 $12,000 in savings, then I'd say, great, let's either throw it in the IRA and reduce your taxes a little bit, get more working for you, or let's put it against the mortgage. Either of those could be great options. But just given the fact that you only have $3,000, I'd leave it right there and just add it to your savings if it were me.