In the Engraving Options my default Notehead design is set to “Larger noteheads”. I can’t remember ever saving “Larger noteheads” as default, so I tried “Reset to Factory”, but nothing changed. Are “Larger noteheads” the default noteheads, rather than “Default size noteheads”?