I have been talking to someone who has offered me a fully restored(and beautiful) 5024 that I'm going to buy as soon as I can get up there to him. I was looking for a 19" and he had one.
I definitely have a "thing" for two stroke Lawn Boys that's developed in the last year, and have bought more than a couple in the last few months. Currently favorites are a 10547(Duraforce, aluminum deck, 3-speed, electric start) that's an absolute beast.
I think it might have been displaced, though, by a 7262. The latter is a 73-only model, 21" Magnesium deck with a D600 engine. I bought it from the original owner who could no longer get it to stay running and decided to give up since he couldn't find a shop that would touch it anymore. It looks like a well used, not abused mower with great compression. It needed a lot of muffler cleaning, and in there broke its starter spring and I also needed to replace another starter part since it wasn't reliably engaging. It finally came to life, but was surging and belching smoke badly. This is a very early electronic ignition mower, and I was advised that the coils can get stuck in the "start" phase with ignition very retarded. I borrowed a coil off another D600 I have, and it ran great. This to me is pure Lawn Boy, a nice lightweight easy to push mower but with the great running and great sounding D600 engine.