Yes, Vettel seems to have more or less checked out already, and it wouldn't surprise me to see him quietly shuffling off even before the end of the season. Maybe Hulkenberg could do some temping?!
Great race by Verstappen, and good to see the tyre/temp combination throwing up something of an unexpected result. More of a blip in the Mercedes season-long procession, though, I suspect. After all, they still finished comfortably in second and third.