Booting up the labs this morning, discovered that B 24 was in an endless reboot cycle, with a brief BSOD just after the Windows boot screen. Rebuilt it using the BartPE disk and the Lacie USB drive, renamed it, regrunnered it, and then added it back into the domain. All went smoothly, as far as I can tell; it now boots OK and logs in.