Yes, so, to make the machines join a domain, is it only a matter of changing the Product Key given by the volume licensing channel, for example, and SL turns into Pro automagically, after the validation of the key and activation? So it is that simple? No need to clean OS install?