speaking of 3.5" floppies, is 720K R.I.P.?