@thomasfuchs I think I'm remembering now...720k was the "non-HD" 3.5" disk capacity, wasn't it? It's like I have to bring these facts back from archived storage.