I think addressing the off-putting behaviors is pretty important. Think about those sorts of behaviors carried into college or a professional setting. He needs better coping skills.

Depends on why he's behaving like this, could it be
"Difficulty adjusting his sense of humor to the situation."

or

"Difficulty positively advocating for his needs." ?

We also have a lot of problems with teachers figuring out how to aim their help for my kids. "Hey, my kid is anxious about X and the result is Y" ends up with the teacher being sickeningly sweet and reassuring, when really they just need to cough up information.