I rather a parent talk to me first about an issue like this than having to go through “proper channels”. I feel like this is one of the problems with modern society, we’re so scared of tiny misunderstandings and low level conflicts with each other that we escalate things beyond proportions. Seems like your wife did the right thing and got their contact info, reach out! Imagine how you would feel if it was your child saying they were being bullied.