@DarkCygnus That's what I was thinking, actually. I doubt I'll be able to get rid of the guy, and as much as I like our HR staff, I don't know that escalating things will really do much. I know my coworker never went to them though, and I doubt she will; she's pretty timid, which is sad.