I've been meaning to check the capacity, but keep forgetting. On Edmunds.com, it lists the HDD at 80GB without any break down. Above breakdown is probably correct. So getting 16k songs on 12.5GB would mean some really low quality audio.

__________________
2010 X5d, Space Gray, Tobacco, Premium, Tech, and rear climate packages, roof rails, spare tire, and iPod adapter.
2006 330i, Sport, 6MT