My choices are the iPod Mini, the 20 GB iPod, or to wait for an updated Mini. I have no idea how many songs I have. I like the size of the Mini and its outer case, but the 20 GB iPod has 12 hour battery life, is only $40 more with the education discount, and has so much space that in-case I have more than 1,000 songs, I have room for a lot more. Which one should I get? Or should I wait for an updated 5 GB Mini? When is that coming out?