Individual Retirement Annuity is after tax and  you can buy from any financial instituions, and 401k is employment based retirement plan, if you get 50 or 100% match from employer on your contribution, just get it. this is win-win situation.