I would have guessed that the significant majority would be using TOFU, but in any case the actual key was leaked so it wouldn't matter which method was used.
Oh, I missed the "not" the first time I read it, which changed your overall meaning entirely. My bad.