Portable walkman CD player (The Camp AL4)

Hi
Bit of a long shot- my nephew is looking for a working portable cd player to use on his travel abroad. Going back to old school usage!

Be grateful if you have one no longer needed. Thks for reading.