Zero downside to filing with the EEOC. https://www.eeoc.gov/eeoc-public-portal I view it like filing a police report even if you believe nothing will ultimately happen. Maybe they can establish patterns and go after them. Maybe it’ll at least tie them up. Maybe the person who did that will at least get reprimanded by their boss or at least think twice. You should never just roll over and accept abuse.