If someone says "How long did it take you?", it's "9.5 hours".
If someone asks "What was your average speed?", it's whatever the thingy shows, which is based on 7.5 hours.
__________________
"be careful this rando stuff is addictive and dan's the 'pusher'."