Hi 'Want to be'
Firstly, thank you for asking us Aussies for assistance, considering that there must be a thousand Americans who could give you answers (all with different answers of course
)
From what I have heard and seen at Astro Camps, the 9.25 is a winner. You can also piggy-back your 80mm short-tube onto it as a guidescope. That will also give you 2 imaging platforms simply by moving the camera from one to the other.
I would also recommend the EQ mount. No field rotation and breaks down into managable parts for transporting.
Good luck, and let us know your final decision.