Ok, some follow up here. This hadn't worked before, but it did today: dialing *#*#4636#*#* brought in a phone info screen, which provides the ability to choose networks. What surprised me though is shown in the following screen capture - I had turned WiFi off, and my phone showed 5G, with maybe...