I have managed to configure 6to4 properly in our lab and got it routing additional IPv6 6to4 space. It is actually pretty neat to see all of this working as stated. I am building out lab notes and slides. I am now going to start on building out ISATAP configurations to see if I can get that working properly. After that, get Teredo up and running.