Yep good deal there Norm.
It's worth fixing Deutschers slashers for a cost neutral hobby but a serviced push mower is a loss when people only want to pay $50.,. I see a lot of people just using electric push mowers around my area , must be less interest in petrol powered mowers now and a few people with solar panels and a Tesla that don't pay any power running costs.
Cheers
Max.