Postscript:
I thought I might buy one on eBay, and so was waiting for this auction to finish: https://cgi.ebay.co.uk/ws/eBayISAPI.dll?ViewItem&item=230531000228
I thought the final selling price was a bit (!) high, so I effected a repair as recommended. It now works just as it should.
Thanks
Trevor
