John Deere lawn mower- worth the extra money?

I'm looking to buy a ride on lawn mower,bugdet is €1500 - €2000. I want something that will last 5 - 10 years(I'm not a fan of trading in every 2 years),with a 40+" cutting deck 15+Hp,there are so many options out there,I have done a search and can't find much info on each brand,so far I've narrowed it down to:

John Deere L100 - expensive but can be bought secondhand in my budget,are they worth the extra?

Castlegarden - Hear good things about them,are they better or worse than the Deere?

Buy a brand new Macullagh/Craftsman/Murray/Lawnking or other cheap make,these seem very flimsy though even brand new.

I've heard that there are machines out there that are Castlegarden but re branded,what name do these go under?

Any advise or owners views of any make of ride ons would be appreciated