Damn. I just double-checked the user manual, and it definitely *does* say that we should manually specify the DNS as supplied by the ISP (although it offers an d "emergency" DNS server which I will try instead).

Even so - got to be worth a try changing it, I guess. It's almost unusable as it is so it can't get all that much worse...