Here's a tool to list the tunes in this directory, and convert them to various formats.