> And if they have static addresses like labs often do, NAT will already need to happen. Only if the static addresses also need to be static global addresses,

> And if they have static addresses like labs often do, NAT will already need to happen. Only if the static addresses also need to be static global addresses, which, if you were to use NAT for network portability, they wouldn't be anyway. So what you end up with instead is two addresses on each machine: Static ULAs for internal use, SLAAC/DHCPv6 from the parent network for dynamic global addresses, and no NAT.