In my son's last race report he mentions a "slight brake problem" before the Jack Pine Enduro. I had to cannibalize the push rod from our 2011 to put on his '12 after a freak, backwards-riding incident that broke his push rod. I bench-tested after the switch but that didn't allow me to detect that the pedal wasn't getting full travel. You get a little more pedal pushing power with your foot than you do with your hand. Found out the pedal was bottoming out on the frame when he warmed up prior to the race start, made a slight adjustment, and sent him off to WIN!
BTW, that push rod part is unavailable from GasGas, which in my opinion is CRAP! They want to sell you the master cylinder assembly instead. I ended up having his broken push rod welded back together.