HCS, this is a 100% crop of the extreme top right corner of the first photo above, and the second is near the centre.
Bear in mind that this was a 30-second exposure, so streaking is already slightly evident in the corners, and of course it's wide open as well, and 8000ISO is responsible for the noise. I am actually quite impressed. Vignetting is obviously stealing some of the stars (but also the corner falls outside the milky way). But sharpness is still pretty good.