I don't think the IRS really cares, Jim. I never bother with the names, just put the symbols in, and they've never questioned it. Newly