An update: I decided to give this another try. I toggled between the “airplane” and “home” icons in the +/- GMT and “daylight savings” offset, then I stepped through the different month/day/year format settings, and suddenly the “24 hr” versus the “am/pm” time formats became available and I was able to choose. It must be a bug in the firmware.
Now all is good and I can sleep better.