It was about a minute behind the Civic Type R and it's specs are:
The drive train is largely the same as the out going model offering 201 PS (148 kW; 198 hp) at 7,500 rpm and 193 N·m (142 lb·ft) of torque at 5,600 rpm. The car has a curb weight of 1,267 kg (2,790 lb).
One of Michel's pictures, I noticed the white exhaust tips. Could it be possible that they did some minor ecu tuning with race gas to get some gain?