While his toxicity warrants some sort of warning, I feel that a ban is disproportionate to what he's actually doing. If we held this precedence of members getting banned for these levels of toxicity, we would ban every person who's had a bad day or two. Also, jumping straight to a ban seems a little unwarranted when he has no discord warnings whatsoever. While I know he's received numerous verbal warnings, he isn't a person who has, say, 5+ pages of warnings like some members do.
In conclusion, banning someone outright seems unwarranted, when they have received little to no warnings whatsoever. While his actions still warrants a warning, I feel his actions have been blown out of proportion. I would warn him, and if he is to continue for an extended period of time, a ban would be warranted.