Most people who hate their co-workers would simply find another job.
Yes, it does sound as though some counseling and support might have guided him to make basic changes in his circumstances before he snapped.
Maybe.
Or they become the boss, and make everyone else’s life a living hell. That’s what one co-worker I worked with did.