those ones on your link, from the size/mount, I believe are more suitable for car stereos, though... i'd expect a more compact size/mount for walkman heads.
I own a couple NOS ones of that kind in my "spare heads" box... but i didn't happen to use them, yet.