I keep wondering if I should get a dedicated mp3 player. But maybe one running open source software? Does it even exist?