IMHO its highly unlikely that it is whp simply because if it were to be the lap times that are already available would be much faster compared to the e92. Available laptimes at the moment are pretty much what can be expected for a car weighing 80kg less with more torque and newer technology designs suspension/setup wise.