Some time ago the stop solenoid stopped working on my DV10 so I've been using the decompression lever to stop the engine.
Finally bit the bullet and bought a new one and fitted it today.
Got it from the UK for $275 inclusive which is $175 less than I was quoted here in Aus.
So a big saving by shopping around and using overseas suppliers. I would prefer to use local or interstate but that's a big saving for the genuine (Bosch) item inc post.
The old one failed because there was a very slight water drip from the exhaust elbow which dripped directly on to where the body of the solenoid meets the plastic end cap so it must have eventually seeped through to the windings.

So the next job is to fit a cover over the new one to stop it ever happening again...
Was a pretty straightforward job and works better than the old one used to as it seems to shut off quicker.