Further good news and bad news:
Good: As reported in this thread (linked above), an 800K external drive can be used to boot a 128K. I tried it with the 800K drive that works with both my IIsi and my 512K - no problems. The good is, apart from the incompatible internal floppy drive, this can now...