Looking for a MP3 player for my 16 year old nephew for Christmas. A couple that have caught my eye are the SonicBlue Rio 800 128MB & the Creative Labs 6GB (hardrive) Nomad Jukebox. Any opinions on the above players, or any other players, welcome. Any tips on features to look for welcome also. Price range is up to $250.