I have some samples stored in a WK4 hard drive. How do I save them to a floppy as a .wav so that I can archive them on my PC?

They save on the floppy as a .txl file. Do I need some type of conversion software?

Thanks in advance!