Kathleen, DEFAULT-OPTIONS works only for new subscribers, e.g., those
who subscribe to the list after you've changed the DEFAULT-OPTIONS=
value. If you want to set everyone on the list to REPRO now that you've
changed the default for new people, just send
QUIET SET listname REPRO FOR *@*
That will update everyone's options to REPRO.
Nathan