The mods might actually spend money to run bots and other moderation tools on their own servers. Might even pay reddit for api usage too for using those tools.