4 people isn't enough to end a key?

It wouldn’t be a few. If people could report others for undesirable human interactions, and just 1% of the player base was generating tickets every week, you’d have 10,000 tickets per week of “they were big meanie heads”.

Even if they were super efficient and could clear each ticket in 5 minutes (unlikely, if they are doing any investigation at all), it would take a 10 man team working 16 hour shifts 5 days a week to keep up.

More realistic numbers are probably 15 minute average clear time on the tickets, and 8 hour shifts. So a 60 man team for probably approaching 3 million a year in payroll costs after accounting for health insurance and other side perks, unless they offshore it, and you end up with way more copy paste random resolutions.