The thing about this kind of problem is that even if it affects a small handful of users (say, a dozen out of millions), that's a dozen servers that the OP has

The thing about this kind of problem is that even if it affects a small handful of users (say, a dozen out of millions), that's a dozen servers that the OP has to fix.