Yeah, hole punch here.
But I had a friend who had a disk notcher.
I have to admit that during those floppy ..er..um.. "archiving sessions" we had, the disk notcher was pretty nice to have.
Hole punch was great for a disk here or there, but 30+ in a night, the notcher came in handy..
But it was like $10 or something, and I'd rather have spent that on blank floppies...
..
for archiving..
;-)
desiv