What would you do?

[Selkie]

UPDATE: Well, Dino the Dinosaur did it again, this Thursday. He referred to me as "Mrs. DH'sSurname" in front of a coworker (the three of us were talking about the how hot it was in the office). I told him again, NOT to call me that, said that it was going to "get hotter" in the office if he didn't stop it, and walked away. Yesterday, I finally talked to my boss about it, and she said she's going to talk to him on Monday--he was out yesterday. If he does it again, she wants to know. Apparently, he's already been counseled for his inappropriate comments, which he's attributed to "humor." This guy has pet names for people whom he doesn't like--he calls one person "Herpes" and another "Condom." I suspect someone complained to her about that. I'm glad I told her because now she will realize that this is more than just a matter of Dino having a different sense of humor and that he's actually trying to put down others. I told her that he kept doing it, despite my asking him not to, and that was why I felt she needed to know. I expect that he will react in his typical passive-aggressive fashion but I will ignore it. I also suspect that he has been calling me "Mrs. DH'sSurname" behind my back to anyone whom he talks at (it's likely his pet name for me).