All I needed was the drain valve rubber seal. It is not sold separately.
Whole valve was promptly delivered, easy to fit, and, after resetting the machine (instructions on Youtube), the drain warning light was no longer lit. Dishwasher now works normally.