I listened to a few songs through 3G on the way home today and it looks like songs listened to from the cloud are actually downloaded to the device automatically. Do these have to be deleted afterwards? For the record, I just listened, I didn't specifically download them.