The one you speak of happened in '95, so it couldn't have been. It set a time of 7:59! However it was later found out that the speed limiter was disabled, the boost was turned up, and the suspension and 4wd system were modified. So, in actuality, it wasn't stock.
here's a list of times...
http://www.born-free.net/nordschleife.html
----------
"Ferrari isn't a car, it's a lifestyle"
-Enzo Ferrari.
Edited by: enzo@af