From what I was told by someone in their garage, Mario was about 8 seconds off the pace on average. The guy who was talking to me about it said they were tempted to hang out a pit board that said MARIO! GO FASTER!
But considering the age of the man, I think the fact that he was out there at all spoke well of him, and I personally saw him save the car at something like 190 mph -- and I couldn't believe it! Even a much younger guy would have had a hard time doing that!