I was super rude to him in our last contact, here. Guess what? He hasn't texted me yet!  Although, if he does, I'll tell him that I'll go to HR if it's not work-related. Which means never, since we work in different departments.