I took the starter off- the pinion end was black with soot-like dirt. I cleaned it off with petrol, then sprayed lots of wd40 whilst moving the pinion in and out with a screwdriver. Dried it off, put it back (my god, the left hand bolt is a sod to undo and do up again...). It works like normal...