I'm setting up a Sansa Clip+ that I'll use only noisy environments (plane, gym, etc). My music collection is all stored in flacs. I was planning on transcoding to mp3, ogg, or m4a at around 100-120kbs. Is there any reason to prefer one format over another from a Redbox perspective? Are some formats "harder" to decode and might consume more cpu/battery?