I want to spend between $400 and $500 on a good mp3 player. I am particularly interested in sound quality and sound processing possibilities. Any suggestion?