Trouble is, the offender run the place and the rule is on another place. Even so, it's Davel, he's the higher up and the higher up higher than him has his back, there's no one you can report to, except the higher up of your instance.
One would think the least that could happen is defederation (is that what they call it). How do you otherwise enforce terms if someone acts all untouchable? Does the "if you can't beat them, join them" rule apply here?