Well done!
I haven't had a go yet, it's not really a problem as such at this stage...
I first noticed, back in the depths of winter, early morning starts sometimes were accompanied by a scraping/ringing sound (like a screwdriver held against the flywheel) which would, except for one time, fade after a few seconds (the mentioned time, the sound carried on until shutoff, then didn't happen upon restart).
I eventually figured the pinion is sometimes not retracting once engine starts, and is ever so slightly "hanging" and just brushing the ring gear...
Not been a problem until recently, one hot day, driving in stop-go traffic, engine became quite hot and after a brief stop, made the noise once I was on my way again. I shut down for a moment to clear it, but when I tried to restart, the pinion refused to engage at all!

Just heard starter motor spinning...
It eventually caught, and not been a problem since... but I know it's on the list of things to do!

Will need to be lubricated soon...