Completely off topic: do you have a Rockbox-compatible, dumb, tiny, cheap music player to recommend for running? I burned through three or four Sansa Clips and Sansa Clip Pluses over the years, but those lines are now discontinued (and I refuse to participate in the scalping refurbished market), and my last one just died.

The AGPTek Rocker is one of our last targets still in production and can be acquired for around $50. I haven't used one myself, but from what I hear it's fairly decent but not perfect.