Bill, from memory the ATS80HD is a little bit longer too,but I wouldn’t call the difference huge.
The ATX65 is probably one of the heaviest 65mm, though one of the best. I have only compared an ATX65, ATX85 and ATS80HD (with the 25-50x eyepiece) for some limited time, during daytime outside a shop. Unless maybe at the highest magnifications, there was no real disadvantage to the 65mm to my eyes. The ATX85 was maybe a little(!) bit more easy for my eye, but heavier. I really prefer the double central ring focus/zoom of the ATX to the ocular zoom ring of the ATS, but that is personal. I also preferred the ATX eyepiece a bit regarding ease of view/comfort when comparing ATX85 to ATS80, but I’m not sure anymore when comparing with the ATX65 (I guess the difference must not have been that big).
But you’ll find many advices in the forum, in past threads, or will get some advice, from people who have tested them longer.
I ended up getting an ATX65, but that is in part because I had the chance to get a good second hand deal with, as an added benefit, full service from the well known local dealer where it was originally by the previous owner. Full, new price was beyond my budget. If I had found a second hand ATM80 with the 25-50x eyepiece for less, I might very well have gone that route, even though I value compactness. It is sad the ATM with its lower weight than the ATS isn’t made anymore...
But probably more importantly:
Unless you need the advantage of the ATX of being possible to split it on two parts in your backpack, as you already have a great scope (with which eyepiece?) and want something lighter and more compact for travelling with a backpack, did you consider keeping your ATS80HD and buying a good and cheaper 50mm to complement it specifically for long backpacking trips? Something like the Nikon 50ED II, Vortex or some opticron? I haven’t tested those, but have read great comments about them. You might end up having the best of both: a great full size scope when not on long backpacking trips and a really lightweight and compact one for backpacking. Selling your ATS80HD to fund an ATX65 might be more expensive, especially if looking for a new, unused ATX, and the ATX65 is still a considerable chunk of glass to carry on a backpacking trip, with a matching tripod.
The tripod is of course the other weight and size issue for backpacking with a scope...