TX990 diskettes--recycle or useful?