うーん、RTX1200の設定とにらめっこしたけど、PPPoEで降ってくるDNSサーバと、IPアドレス指定の両方があるときは、IPアドレス指定が優先されてしまう。