I'm excited and can't wait (must do though) for this to get here!
I had one of these from when it was new but it was burgled out of my car back in 1993. I had a Philips in-dash record player as my main source of in car entertainment then and the F73, because of its amazingly stable transport, DC input socket and an output that would go more than high enough to match the record player's amp inputs (even less sensitive than ceramic cartridges, these old crystal ones were, but they could play at massive bias and downforce settings which is useful in a moving car, especially an old one with trap spring suspension). I wouldn't mind, but they could have taken the record player and it would have been covered for far more than its value at the time by my insurance. The Walkman, because it wasn't fitted to the car permanently, was excluded. The miserable ba****ds!
So this one is coming from an Alabama-based seller with lots of excellent positive feedback comments, I've looked at massive and very detailed images of it and if this guy says it works, then it will.
And ironically, what I plan to use it for among other things is to connect to the "Infotainment" system in my current daily car, whose interfaces include a 1/8" stereo input socket at line level which will be easy to match with the Walkman's headphone socket.
Best bit is that I still have the Sennheisers that I bought to use with my original F73 back then and I'm massively looking forward to using them again. Not in the car, obviously.