Companies offering pensions are rare, but when they do, employees decide between lifetime income or a lump sum for their IRA, or both.
