Does anyone use an MP3 player that they'd recommend? It needs a 3.5mm jack. Preferably small, with buttons rather than touch, but willing to compromise on that.
I've searched but they're mainly unknown (to me) brands with mixed reviews, or second hand, which probably means the battery won't last long.