Well, I unexpectedly picked up a 512k with an internal HyperDrive 20 yesterday. Per the serial number decoder, the machine started life as a 128k in March '84. It currently has 512k ram and an 800k floppy drive, so I assume it has been upgraded to a 512ke, though I haven't taken the logic...