Just to complete the feedback on this topic, when I went to the local repair shop to see if they had a new valve, the helpful fella suggested, for this type of valve. that the solenoid could be eased off with a flat screwdriver and replaced with a new one which he sold me for £4 versus £20 plus...