@niko sounds about right :/

I think I'll just set up a DHCP server and still hand out DNS64 servers and make fun graphs of how much traffic is IPv6, NAT64 and IPv4 at the end of the day