I think the 0-60 times are a bit off for the M135i - it doesn't say which version it is - but stock is 4.9 for the 8 speed auto and 5.1 for the manual.. (think the Xdrive which Europe got (apart from UK anyway!)) is around 4.6... I'm guessing it was a manual because the commentator spoke about launching at 5k rpms and it looked as though he had some granny shifts there as well!.. it'd be a much bigger margin against an auto with launch control enabled!
Here's my F20 M135i LCI in MG:
and in everyday driving it's a lot quicker than the Type R..