Hi,
I was faced with a similar decision about ten years ago: ATM 65HD or ATM 80HD? The ATMs were at that time Swarovski's premium scopes with a magnesium alloy body, about 100 g lighter, but optically identical to the current ATS.
A comparison at my dealer revealed no significant differences in good lighting at 50x, so I bought the cheaper and lighter 65 with the excellent but since discontinued 30x wide-angle eyepiece.
I should mention that the same focal length of both scopes results in an unusually "slow" focal ratio of f/7 for the 65s and this allows excellent correction of spherical and chromatic aberration. The ATM/ATS 65s are probably unsurpassed by any birding scope of this size, but as Joachim points out, the smaller exit pupils will limit their usability at high magnifications or in poor lighting.
Some years ago viewing a distant Ringed Plover, a much younger birder was able to identify it through my scope as a Lesser RP by the yellow eye ring, which I could not see. This was an excuse for more magnification and aperture and I bought a Kowa 883, a truly excellent scope, but basically it only does at 40x what the ATM 65 does at 30x.
Observations on inland locations are at seldom more than 250 m so if lighting conditions are good or if I am going to be carrying the scope for a distance I still take the ATM 65 with me. Even on the tripod, the 500 g weight saving is for me noticeable.
Finally, on another thread on the ATS 80, I pointed out that a Meostar S2 would provide similar performance at lower cost, and a Kowa 883 better performance for a similar outlay. It was also mentioned though that Swarovski's service and resale value are factors to consider.
A difficult choice maybe, but whichever way you go, you are unlikely to have deep regrets.
John