Right! Found it. I'll check again using that model number.
Um, while I'm at it, I've got another issue about which I'd be grateful for some guidance. The mower's self-propelled function appears to be substantially weakened.
The background: My son was mowing and a large tree nut got caught behind a front wheel and locked it up. I didn't know why the wheel wouldn't turn and tried to force it. I finally saw the nut and the wheel turns again, but, like I said, with a lot less power.