There would be an internal complaint to HR.
Then an internal investigation.
If they went to the EEOC after they could have settled it as a nuisance case. Which is what she suspects. But if there was a settlement there should have been a confidentiality agreement so she wonders how that got out.
Interesting, thank her!