No es que "ocupe menos", de por sí, es que se supone que el formato WMA necesita menos bitrate que el MP3 para obtener la misma calidad, pero esto solo se llega a apreciar en bitrates muy bajos (32-64 kbps), y ahí la calidad es horrorosa tanto con uno como con otro (para esos tamaños lo mejor es HE-AAC). WMA 9 Pro sí es más decente, pero todavía no tiene soporte de hardware y no parece que lo vaya a tener, así que en tu reproductor te va a servir de poco...
...eso sin contar que es un formato cerrado, desconocido y lleno de posibles "trampas" para el usuario como DRM. Yo no recomendaría usarlo en ninguna situación.
Saludos.
.
