I know the teacher fairly well, I quite like her. She does, however, have a pretty bad reputation as a shouter and I know that a formal complaint was made about her last year (don't know why). My instinct is that she's basically well meaning but has problems with self control/anger control. She's not DS3's teacher.
Anyway, at a choir practice yesterday she wanted DS3's class to shuffle along their row, but they didn't hear/didn't respond. DS3 was on the end, and she shoved him (to get the group to budge up), sufficiently hard that he fell into the next kid. DS3 is fine - sufficiently bothered by it that he told me, but he didn't seem upset, IYSWIM.
Is this not worth bothering about? Or should I have a quiet word with someone? Am I being a bit precious?