Need help with my first cassette player purchase

Greetings group.

I am looking for my first walkman and I have the following options available to me:

1. Sony Walkman WM-EX9 at around 300 euros (mint) 2. Sony Walkman WM-EX678 (20th Anniversary) at around 350 euros (mint) 3. Sony Walkman WM-30/WM-10II around 300 euros (good condition) 4. Sony Walkman WM-D3 around 500 euros (needs repairs) 5. Sony WM-D6C around 400 euros (needs repairs)

It will be my main way of listening to music on the go so I won't be using open back headphones. I really don't know the quality / price ratio on these but I've read good things about most of them.

Looking forward to hearing your thoughts.