A good Walkman which runs on disposable batteries is a good thing to have. This was bought cheap on e-bay in the hope that it would be a simple repair.
The player was sold as faulty, citing wow & flutter. It was indeed sounding rather wobbly. Better see if I can get it going.