I dunno. Making Sexual Comments isn’t a crime - the bar for harassment is pretty high. It depends on how sexual his comments were. If he said “nice tits”, I think that’s rude and crude, but the proper response is to not follow his stream. He could certainly have said things more troubling than that, I dunno.