Poor fella. I had a similar but less drastic thing happen to me on the nurburgring in a mk5 Golf GTI. Coming into a hairpin (I haven't learnt all the names because it's pointless) I hammered on the brakes and basically nothing happened, pumped the crap out of the pedal and uttered a few expletives. I turned in as late as I could for the hairpin and just made it around. It's all on video and to be honest, looks like I absolutely nailed the corner. I however nearly crapped my pants...
I think he definitely did the right thing. No way in hell would he have been able to scrub off that much speed just using the gears. I just hope that never happens to me when I'm racing....
You can't say that without uploading it onto youtube!!!
