You have a favorite podcast. Maybe you keep an extensive (and legally-acquired) music library. Sometimes those audio files have an MP3 format noted. Other times, it might be designated MP4. Should you ...