what was the lap time of the businessman from brazil at the 2000 spanish grand prix ?
1:22.841