You don't need an MP3 player that has mixing capabilities. You just need a good dedicated MP3 player.

The problem is, market demand for high quality dedicated music players has fallen, resulting in lots of low end units and only a few high quality, high priced units.