¿Qué GB de mp3 se necesitarían para 2000 canciones?