Joe,

The first step is to find out who it is and ask them if its legit. If it's not - which I bet its not - meaning they wanted to run the enduro but GP wasn't allowed, they may volunteer to get it fixed.

I do NOT think lap records should count in enduros. In the middle of the race, you can run light without the opportunity for a compliance check.