My ISP does not advertise DNS via RA, but if requested via DHCP-PD, it will provide IPv6 addresses for DNS servers.
Strictly speaking this is not necessary, since the normal IPv4 DNS servers will provide name resolution for IPv6 addresses