That did look interesting, Andy. Even given that the solenoid is about £12 in eBay. But unforunately, though this new model says the entry points are the same, they are not. Maybe because mine is the T80si "pumped" or whatever, but the entry points are different.
Any suggestion on how to check...