Thanks onehundred80. I never would have guessed that middle symbol represented a wrench! :-)

The Trip meter displayed 76xx-something, but I didn't make the connection there. Fiddling with the buttons, I had managed to reset that to zero, so I'm glad the system kept track of the overage on the miles.

I see in the manual now how to reset that code. So now I just have to get some oil and a filter and go have some fun!