Banshee will transcode to mp3 or aac on the fly when copying music to your mp3 player depending on what it knows about the player (or your settings). So keeping your music in FLAC isn't all that inconvenient.