But aren't they DRMed? Or does it let you download in mp3 or related formats directly (I'm not on Apple music)?