Can't remember whether we have to relock to flash stock (don't think so), but as a worst case scenario, we can follow the method used for unbricking phones; since the bricked phones were stuck in the tri-color bootloader they couldn't run an unlocker, and we would just load a stock nbh file onto the sd card and do a flash from there.
So yeah, I don't actually KNOW, but I think we can just run the exe Sprint posts without problems. Safest thing is probably to go back to the .40 unlocker tho.
on second thought, that requires another radio flash, and cokeman has advised against perpetual radio flashing, so I guess he'll guide us when the time is right