Thing is, something this ridiculous shouldnt be THAT MUCH of a problem. not enough to transfer out. Its better to face the problem imo.
if you want, most companies over 50 ppl have HRs that have to be discreet about your complaint. You can approach them for theft. If they somehow release the name and the guy/upper management retaliates, you can sue the company for harassment. upper management is same but its safer with HR.
i know that because im part of a management team at disney and we had to sit through a 4 hour online course about harassment/sexual harassment. (it was paaaain...

)
but knowing me, i just milk the guy just for the hell of it. Like bring a lunch with a note in it with like "Nice Try" or like put on expired mayo or something...

he deserves it!!!