One solution that I have thought of, but was reluctant to use, is to
wrap the MP3s in zip files and link to those on the Download buttons.
This seems to work fine but, obviously, gives the user the problem with
having to unzip the mp3s when they get them onto their computer.