I would also recommend FLAC. I've also used 320 VBR mp3 encoding for my mp3 player/car.