Thanks - I know they don't all have this function, but my old one did as I used it for 10 years without issue, so, knowing that it can work OK for me, I don't really want the hassle of wiring a separate switch.
The new one says it has the same feature, the manufacturers confirm it does, and...