report it immediately, if we do the same thing, we are no different, we may do a thing or two but doing the same and not reporting it may worsen the situation. just inform the proper authority and let them do the action this will serve better this kind of incidents for those involved and to others who will get involve in the future.

also if this thing will not be reported? a person as having a "big problem" with "bad attitude", who knows may not only do harassment but even more... ^_^

just my opinion though