Arrived in good time. My repair person fitted it. It appears to have worked but we still had the same problem that meant it was probably not this part that was at fault in the first place.
Necessitated the replacement of a one-use jubilee clip. It would be useful if this was sold with the part.