There's a script called flac2mp3 that I used.

The pay version of MediaMonkey will do the conversion on-the-fly; you just keep the library of FLAC files and it converts them to MP3's when you sync the portable device. Or so I'm told. Might not work with that proprietary Apple stuff, though.

bibere usque ad hilaritatem