[spinnaker]

I've got a 2.4m KiwiDome, which I believe is based on the 2.3m Sirius? It is heaps big enough for the scopes you've listed. My recommendation would be to go for the smaller option, and put the cost difference into other astro-toys ;-)