Nice workaround!
In my situation the hotel’s DNS was properly giving out the IP address to its portal but the travel router wouldn’t respond whatsoever to DNS queries. Wireshark on a laptop showed no traffic whatsoever back; that was the firmware bug they’d addressed in the update. (DNS on the router itself going out to the hotel network was fine though.)
Seriously, shit is annoying.