Comment by stateofinquiry

Sony still makes very nice players - under the "walkman" brand no less. https://electronics.sony.com/audio/walkman-digital-recorders... . Probably too pricey for a 10-y-old child, but you might be able to find a used one on ebay?