The same is true, mutatis mutandis, of Aumann's agreement theorem. Little applicability to the real world, and the standard tl;dr version "rational agents cannot agree to disagree" is clearly false if etc.

Yes, and not at all coincidentally, some people here (e.g. me) have argued that one shouldn't use Aumann's theorem and related results as anything other than a philosophical argument for Bayesianism and that trying to use it in practical contexts rarely makes sense.