That seems to work fine, but I have to be careful to select “Keep existing settings” in the warning dialog box, or else it changes the sequence back to 4K.
Now the file properties on the timeline are 4K, but the sequence properties are whatever the new sequence was set to. I created a new preset for this.
I’m learning something new every day!
Thanks very much. You saved me hours of searching the net.
Joe