Thanks
hostar.
Now I do not have to spend a lot more time looking for my backup copies. Both my K4s are 4.0.1 after copying the new 4.0.1 images from my kew K4 to my bricked 4.0.0 K4 to debrick it, so I know these images work. They *should* have worked here too, but 4.0.0 was a good fallback to use in this case.