I would definitely recommend going for the Luba 2 Mini 1500.

It is always better to "over-spec" your mower rather than buying one that is right at its limit. By choosing the 1500m² model for a 1000m² lawn, the mower will complete the job with fewer charging breaks, leading to better battery health and much higher efficiency.

Regarding the navigation, LiDAR is a game-changer for lawns with heavy tree cover. In my experience, LiDAR actually performs at its best in these areas because it uses the tree trunks and canopy as physical reference points to navigate, whereas GPS-only or vision-only systems can sometimes struggle.

For your specific setup with the oak trees, the LiDAR upgrade is absolutely worth it for the reliability alone. I’d go with the 1500!

If you decide to purchase I would appreciate if you use my affiliate link below, no extra cost to you -
https://uk.mammotion.com/products/luba-mini-2-awd-1500-robot-lawn-mower?ref=kd2jxen4

Kind regards, Mark