I was alerted to the idea that by playing with the Pro settings I could extend the exposure time and change the ISO. I had to wait for a clear night to experiment. To my amazement, the maximum exposure time allowed, which is 8 seconds, worked provided that I let it do Auto ISO because that gave a higher value than any of the manual settings. It was about 6400. I'm staggered by what I can see.
