i suspect that you're using their dns server because it's what is given to you via dhcp, but you can probably configure your own (well, you can certainly configure you own; the problem is it's possible that they are blocking dns requests). for example, set things to use 8.8.8.8 as the dns server (which is google's).
comment 5 (in that thread, from the developer involved) says that it is working and testing it myself (google-chrome --dns-server=8.8.8.8) with wireshark shows that it does query that server.
(thanks for pointing this out; it wasn't what i was suggesting - i had assume the laptop was the op's own).