I just bought the Smart Modem 3 for wifi 6 (amongst other things) so would prefer to keep using it 🙂
Having said that, I have an update - I installed a rather old Netcomm USB wireless adapter stick I picked up (many years ago - I think from PB Tech) and it works! He can see the router and connect to it, using its bundled software. He seems to be connecting on 2.4G (maybe that's all it supports? It is fairly ancient) but it's working.
With this in mind, does this make any difference to troubleshooting? Is it likely something with the built-in wireless on his desktop, or something to do with the router? My inclination is the former, as every other device in the house can connect to the new router without any issues.