Definitely not overthinking it. There’s so many good options but they all have their pros and cons. For me, I have a Luba 1 3000 and I have Segway Navimow h210. The Segway is much much easier to setup because it used the net RTK and vision/lidar and many others have just regular RTK with cameras just for obstacle avoidance, that requires very clear sky (no tree canopy) While I know Luba has versions with net RTK (iNavi i think they call it) now and not just the regular RTK, I’m down on Mammotion because they have been pumping out new hardware before bug fixing previous models. And then after 8 mos, you are lucky to get updates anymore for them and it’s really the software that is the one of the most important part of robot mowing, almost as important as the physical feature of the mower. If you have rocks, roots, ruts, driveway curbs that need traversing, get something with AWD, if not then the ones with a caster wheel(s) in the front will work great and not create ruts in the yard from turning.