It also forced me to look up pepper spray. I typed the word “mace” and immediately wondered if anyone ever used mace. As it turns out, mace is alarmingly poisonous, so most people and police departments use pepper spray. When the police in their riot gear cheerfully spray something in a protester's face, it's always pepper spray.
A court gave him money for psychological pain and suffering.
He got more money than the students he sprayed.