Thanks, yes it was basically that. Not that exact product, but I’d imagine it’s much the same, we rarely run hot washes anyway and the relatively small amount of water ejected at a time isn’t likely to be in contact with the pump for long anyway.
Worth giving a go me thinks.