but I guess it should be possible to just have pi query the coredns server as well, right?