Everytime I hear a new time at Nurburgring I think high 7's, when it's cars like this at least. Breakin 7:40 is pretty damn good. I'm not too sure but I think the Nissan GT-R did it in 7:38. Then I know the GT Carrera did it in 7:28 and I think that's the fastest lap time for a production car.
Then I did some researching and the CLK DTM AMG did it in 7:54. So again, this leads me to beleive that time is a little quick. But that was an '04 model... I guess I would just like to see it happen. You're right though, the car is no joke. Oh and the XJ220 did it in exactly 7:46, not bad company even though that car is like 15 years old, heh.
Just cus you'd care, the EVO IX put up a time of 8:11.