When more support is needed or the problem is escalating to the wider community, you should make a Moderation Ticket.