Joel, at 02:02 on Tue, Feb 07 1995, you wrote to All ...

JD> Does anybody have a FLOPPY DISK HOLE PUNCHER for sale?
JD> Used to punch hole on the left side of a 720K drive to make 
JD> it 1.44. If so, please let me know, a friend needs one
JD> If not, could someone tell me where he can buy it from?

When I last saw these, they cost around $45.  Much cheaper to use a hot
soldering iron instead (not a drill though, as the shavings end up inside
the diskette).  One further observation though, I converted 20-odd 720Kb
disks around a year ago, and every one has since failed.  With 1.44Mb
floppies now available anywhere for ~$5.50 per box of 10, I wouldn't bother
with unreliabe converted media.  It's not worth the risk.

Regards, Bill

--- Msgedsq/2 2.2e