Excellent and quite nostalgia-inducing story, thanks!
One thing caught my eye:
> The PAL Amiga 1000 came later, and WCS was finally part of the motherboard with Kickstart on an actual ROM chip.
I'm fairly sure that no stock A1000 ever came with ROM chips, so Kickstart always had to be loaded from disk. Happy to learn otherwise if I'm wrong!