I don't know, it only happens when downshifting, so I guess at lower rpm, 2000-2500, at least so far, anyway. I tend to upshift at about 3000-4000, and it doesn't do it.
When it happens, the pedal gets very hard to press, like it jams, and then you really have to force it down hard. Meanwhile...