Now, it's not that I actually use that account, but it would be good if the spam went to the spam bucket in case I ever get a real message there. So I filed a service request.
The tech working on the problem deleted my shell account with all the saved e-mail and replaced it with a brand-new useless shell account of a different name.
I have a new tech now who is getting operations to restore my account from a backup. At least I didn't save any mail today.