They will even vend you a /56 if you ask for it, via dhcpv6 IA_PD.