Is it worth muting each one, or are there too many of them? I haven't checked to see if it's the same few bots doing all of it