They have to change the setting in FDRS, although maybe the dealer cannot do that because it strays beyond the stock specifications for your VIN. That would be really dumb, but not sure what Ford allows dealers to do or not do these days.
You can do it yourself with FORScan—which is like a community version of FDRS. Need to update the BdyCM configuration and then force a relearn on the TCM and PCM, not hard—just takes some learning and online tutorials. My one caveat to using FORScan is that Ford doesn't like people changing stuff in the factory modules and it may cause you warranty issues in the future.
2022 4dr Badlands, 2.3L Manual, Mid pkg
YouTube: youtube.com/@ragnarkon
Instagram: @ragnar.kon