Anybody old enough to have used this mower? I found the pamphlet among some old owners manuals of which the mowers haven’t been here in dozens of years.