Yes—to be clear, I didn’t mean to suggest that your co-worker had allergies, just that your comment triggered the memory of my own situation which was something of the reverse, where what I actually had was allergies.
It seems like every workplace has at least one worrisome co-worker who is less-than-sanitary and not considerate at all, and yours sounds like a real doozy. It is definitely a relief to all when some co-workers retire!
