Yes, I know that there are these small MP3 players, but I was wondering if
there is anything like that for home audio. And something that would play a
bit better quality (altough I suppose that is something that could be done by
setting the MP3 level to 320K.)