If you decide to take the 9k from your tax free lump sum, I think you can ask for a declaration from the Dept, that you used 9k to purchase pension benefits. You can then send this statement to your tax office and claim back the tax from the revenue. I know it sounds strange, because the you are making a payment from a tax free lump sum, but its still a pension payment. It qualifies for tax relief. So you can offset, some of the cost, by claiming. If , in your last year of employment, you paid 40% on any of your income, you could claim this back at the top rate.