We've recently thrown out the last devices capable of reading the old "mini-floppies". I believe it's 5.25. Next thing you know there's a department chair coming with an envelope full of these saying it's invaluable data and we have to copy it into some readable format. The PC store across the streat would copy it to zips or floppies for $10 per disk. Should we look for a better deal?