What to do...

...about a troublesome co-worker. I really really dislike this guy, but I don't know what to do about it. He is just mean, rude and annoying with a very hot temper—I avoid him as much as possible. I know it sounds bad, but I wish they would just fire him. I think I just triggered a hundred years of bad karma for myself.