Yes, the CD that DW comes on is a boot disk. (Though it takes forever to startup.)
But that should work!
if the problematic external hard drive keeps him from switching startup drives, he can always detach the drive (USB and Firewire are hot plugable), startup from the DW CD, and then...