You don't _have_ to do it manually. There are bulk mp3-handling utilities that can do the whole lot in a batch (e.g. I think I used mp3tag to extract all embedded art, then some other bulk art utility to convert pngs to jpgs, then mp3tag again to embed them all again)