I will be honest; that judge seems like a jerk. I am not a legal expert but does his chuckle constitute public defamation ? I mean if someone makes fun of my stuttering at work, they would for sure get in trouble with HR.