When I had my 12" GSO the 13mm and 9mm Naglers both got a lot of work - mags of 115 and 166 respectively and I still use roughly these mags most of the time for DSOs. As Les points out an exit pupil of 2mm is best for galaxies. 13mm would give exit pupil of 2.6 mm, 9 mm would give exit pupil of 1.8mm.
I'd get both!
|