Hallo, My friend is planning to go to Singapore. I want him to buy a MP3 player - minimum 256 MB. How much costs this in Singapore? And where to buy?