I won't quit my job, this would be the THIRD time I would do that because of harassment in the last 2 years! I also won't find a job that pays that well soon.
I also don't find the HR idea very plausible, as HR here in Brazil is not your friend, and most HRs are weak and looked down by the senior managers here (I've heard similar stories about HR in the US) and I can see the HR's crabby estj female manager (yes, estj HR manager! can you imagine that?) sided with the bully and seeing me as the victim deserving of punishment.
Yesterday I didn't go there to buy food, but the guy keeps staring me.
I think I'm going to take some antidepressants before going to work.