Actually it was way more than an "invasion of personal space." If the guy so much as touched her it could easily be construed as "offensive touching" if not downright assault. You have to follow up on this one.