Just for fun, I whipped this together and released it: https://github.com/brianpipa/OverdriveMP3Downloader

Initial version took a couple of hours, then a couple more hours to clean it up a bit. Works great!