Sorted!

Yes you can get spares for them (if you hunt around a bit). A garden machinery stockist about 40 miles away can get me a starter solenoid (about £50) and I also found an owners handbook and workshop manual (on a CD) on ebay for a tenner.

Result!