I sorta get where people are coming from in noting that pepper spray was a better option than manhandling.
If the child is throwing a tantrum and is seriously worked up, throwing herself around and generally being physically violent (for as violent as a nine year old can be) if the cops grabbed...