Actually, I can't really recommend anything as my time is already a bit behind.
I knew my dealer from sports and was allowed to test mow with him. I would recommend that to everyone.
I had never had a mulcher or front mower before and was immediately enthusiastic.
For large areas, you usually replace the mower after about 10 years with a new one.
My dealer also recommended that to me.
Those are then the cheap ones from the internet.
I think I got about 1800 for my old one.
I also remembered the original price being a bit more expensive than today. But I could be mistaken.
As an amateur, I wouldn't buy something like that used. There's a reason why they need to be sold.