WTD: good quality Walkman type personal cassette player

[vintagesteve]

I'm looking for a good quality Walkman personal cassette player. Preferably Sony but others including Aiwa and Panasonic made some good ones. Just to be clear I'm not looking for a Lloytron or other budget, basic players.

Please PM me with details including price if you have one to offer? Thanks.