I would say though and this is my own personal opinion from my own experience that even if one wants to talk about it; don't. I think the more it is "ignored", the quicker it will go away in that particular environment. Other than that, and perhaps even for that workmate in particular, it's all excellent advice.