I'm not in front of the garage anymore unfortunately. But that could be a good shout. He was trundling around on the last lap before stopping and it sounded like the car was dying but maybe he was out of fuel and just coasting back. It would explain the reported fast lap times (I haven't seen the exact times).
Cheers for the updates.