Thanks. Just in case somebody needs this information in the future, it turns out there is actually one other place -- under "WAN Settings", "Set the DNS type", change to Static and enter the new IP addresses. Discovered this based on your recommendation (since I didn't scroll down enough before posting the original request )
)