Nice score on the mower! You'll find more uses for the hooks than you thought of. I got really lucky last year when I found my mower and box blade. I was driving down a road that I seldom use, never go that direction. On the side of the road was an old 8n, 9n, what looked like a brand new (but weathered) mower, a box blade, and grader blade. So, I pulled over and talked to the guy about all of the attachments.
He wanted $1,000 just for the mower...it was never used, but a few years old, sitting outside. It was a KK 72" finish mower. Tried to get all of them for a grand, but he wouldn't go that low. Talked him into $900 for the mower and box blade. I took it and ran!