Considering the Nordschleife is longer than that I would expect the whole thing to be longer.

I'm up for going a bit later, as per beginning of this year's trip, was a spot on time.