And that worked for a while. Now ISP did something with their DNS, probably redirecting 'name not found' to a search portal bullshit thing. So now when he queries for a name that's local to his ...