Go Mantis Elite if you have the money and dont ever want to use camera, record video or never need more than 10x, otherwise Leica
Up to 10x is ok but depending on what you need it might not be enough, i often need 20x or more to repair broken wires from flex cables and some 01005, but for common stuff i use the least zoom (3.5x). Mantis Elite will go with 20x the problem is the working distance, i'm not sure if you will do anything with 2.9cm of working height plus the big head on the way... I guess 20x is only for inspection, not soldering.
About the fatique under a common microscope is more about how it is setup, heights and angles, i made my own bench and i choose it height based on microscope working distance and my height, resulting in a correct working position, i'm almost all straight while working under my microscope (SM-4TP) without the need of looking down, so never had a neck pain or discomfort, i can work during hours without fell bad. But now if you have wrong heights and you have to adjust your head to the microscope it will be a pain for long periods.
My rule is: Adapt things to you, not otherwise.
PS: My microscope have a 22x zoom at 12.5cm working distance, and 15cm if i remove led ring. And that precious height is what make Mantis Elite not the best for me.
The Lynx EVO otherwise seens perfect but you will need sell your house
They also have the SX45-TR Elite which is a very good unit in the eyepiece stereo microscopes style
Better if you can try both and decide.