Thank you for the comments. I was hoping I could just do a RESTORE and avoid the additional step of running the 123 ISO again. I didn't understand that the EFI partition was not visible to Disk Utility.
Actually, the Type11,v7.7 MiniScript is a really easy way to do the job now that I have it on a USB Flash Drive . . . thanks to UnaClocker.
For those who offered to buy my 32GB RunCore, thank you for the offers; but I will hold on to it for the time being.
Dell Mini10v, 64GB RunCore Pro IV SATA SSD, 2GB Memory, A06 BIOS, 10.6.7, NBI 20100616212351, Bluetooth enabled (external dongle), USB Legacy disabled.