You are right! It is an IRA. When I retired, I rolled the 401K into an IRA. I was surprised that the IRS doesn't require a list of the donations. Thanks for your answer!!
