ATTN: EURODAD

I’m confused…

Did Terzich’s car run 8.07? I know they were looking for high 7s.