Неожиданно непросто оказалось подобрать аудиоплеер.
Они есть в некотором количестве и некоторые даже ставятся и играют музыку.
Но вот так, чтобы и симпатично, и с нужным функционалом... охохо. Либо плейлистов нет, либо настройки громкости. И все в той или иной степени подглючивает на моем Android (у меня он, впрочем, старенький и китайской сборки). И все более-менее работает на айпаде. Мда.