Frankly, I'm glad the city fined him. He got off cheap for $3100.
No one should be destroying city trees or allowing their children or dogs to do so.
I've confronted kids when I've seen them damaging trees (kicking the bark off, stabbing trees, etc.).
Trees are living beings and we need them now more than ever
.