didn't know that was an option until David mentioned it... but you
just said that's not the way to go...
No I did not.
There's no reason you can't boot from this disk and do a ASR restore.
Actually, there is one bug - acknowledged by Apple - which may
prevent doing such an operation with Disk Utility : sometimes, in
random condition, it is impossible to drag and drop the volumes to
the source and target fields in Disk Utility. Rebooting does not help.
However, it is still possible of course to perform the operation with
asr in Terminal.
