That did it, for which my great thanks. The problem--for our own future use with others--is that if an EIN isn't used (as mine wasn't) for roughly 20 years, it is made inactive and apparently cannot be reactivated. You need to get a new one, as I did.
