Thank you very much.

That menu did come up using a right click on the short-cut the installation software put on the desktop. And starting the launcher/updater from that menu does enable the DirectX 11 switch to be changed. Once changed, it will stay in place unless I forget and start it the old way. I have to start it that way every time. But it does work.