Just last month I took 46k out of my 401k and paid off the mortgage!.........................
Based on my own experience, the IRS is gonna love you for that.