I'm going to be at Camp Harmony in California next month, and would like to be able to record lots of songs. I know lots of people have minidisc recorders, but it's a technology that has completely passed me by. (I still have my Walkman Pro that I bought in 1987, for about $100. But when I took it to Singtime Frolics in 2000, none of my recordings came out because I didn't think to change the battery on the 12-year-old stereo microphone.)

Any suggestions on a good minidisc recorder to get, and other tips on using it? I don't need state of the art, just one that will give pretty good quality from live recordings. What kind of files are recorded on these things? WAV? MP3? I'm clueless here.

Aloha,
Mark