ちょっと音楽をよく聞きたい

ここで質問してもいいのかな？ 昔から音楽をよく聞きます。ここ数年はボカロ曲にハマってます。 それで、イヤホンや音楽プレーヤーに興味が湧いてきて、イヤホンはそれなりのを購入して、いずれはアレが欲しいというがあります。 普段は安いAGPTEC製の音楽プレーヤーを愛用していますが、買い替えるのを検討中。 調べたら、最近流行りの1から2万円くらいの海外製プレーヤーより、ウォークマンの方が良いという意見が。 まずは1〜2万円くらいので試したいし、中古なら予算内だけど、ウォークマン中古ありでしょうか？