Ok, 9.7. Close enough!
My planned route fell through due to flooding by the river, so I detoured, but then I ran out of interesting roads (definitely not the worst problem, mind you!) so I turned another way, bought and chugged a Vietnamese coffee around mile 8, which hit my GI tract kind of hard shortly before mile 9. That surprised me because I've been having Korean coffees before long runs, including this one, without issue. Both have milk, both have 30-odd grams of sugar and at least some caffeine. Maybe it was a cumulative effect. At any rate, I'm finding it hard to eat much supper afterwards, but fortunately I also bought this lychee coconut drink and that's going down fine. Lesson learned!