Thanks!
Though the language that was quoted earlier from the IRS suggests that if one is "eligible" for an employer retirement plan, that prevents the making of a personal IRA contribution... It's not a big deal, but this just shows how hard it is to be precise about all this!
