OK, it is the next lens to look at after getting the Rokinon 135 optimized (using the English meaning of optimize, and not ZWO's usage of that term, which is a bug fix).
Perhaps get it ready for Perseids.
I have given up on the Milky Way from here. It is towards the south, and the sky pollution there is like a Bortle 8. I can get something like "looks" like the Milky Way, but nothing like what I saw as a kid in Asia.
By the way, even the ASI585 is good for a 4.7º x 2.7º field of view with a 135mm lens -- easily frames M42 and Running Man, not to mention M31. With slightly better pixel size than an ASI6200. Problem would be the dynamic range for M42 and M31.
Chen