to be fair you could report them but that doesn't help you anyway, dick players will be dicks regardless. and getting that guy banned just means you kinda screw hard with someone's effort in the game. don't think he deserves this cause he fails at social interaction. the others that agreed on the vote kick are probably the bigger jerks for taking "me 94, me smart, me knows job" as a given, especially when it didn't hurt the run at all, it seems.
Sleeping stuff and letting your healer do dmg might have been the bigger dps increase anyway >_>