We know you are "very happy" with your scopes and that you don't have them at the same place, so can't compare them side by side.
Did you ever looked through a Zeiss Harpia?
At #47, I forgot to mention a wider zoom range to the future X eyepiece modules - the Harpias have wider AFOVs until the maximum magnification and wider zoom range
X95 vs. Harpia 95 - these are advantages for some observers...
In my case, I would prefer at least 25-75x for X95/115 - I need high mags...

During many years I used 30-90x on my Optolyth 100... Before Swaro released the extender for the X series, I used astro-combos
82 to 102º zooms of 30-96x102º and 42-146x 92º...
Did you ever looked through a BTX? Why you don't have one?
I'm presently using a astro-combo with binoviewer
CR BinoBirding 35-120x, with AFOV similar to the X at the higher mag position, but I wish Swaro produced something with similar specs but smaller and less heavy...