I don't bother re-booting, if at any time I need access to the 2.4GHz printer, I just change the WiFi to the 2.4GHz on my PC, then print, then go back to my 5GHz SSID, I'm so used to doing this now that I always remember to do it.
I've tried everything here with the same result.
I think that...