Should a lap time be officially recorded and published, by all means post it up. But it seems to me that this isn't an official lap time, but more of a rumoured/ speculated lap time.
It makes an unfair comparison against cars which have posted actual lap times.