Is the 7:40 Nurburgring time a disappointment to Rennteamers?  Somewhere in the prior threads I thought I read a sub 7:30 time.