@Blort @bloved on Android 5.1 there is settings>>wifi>>advanced, but there is no DNS setting. So I guess the question is: is 8.8.8.8 an unchangeable default? I suppose that'd be too broken (wan would be die if google ever dropped 8.8.8.8)