Great review! The only option I might add, in the used market, is the Sigma 85mm f/1.4 EX DG HSM, which is fairly well regarded, and can be had used for $800 or so.
MilkyWayPhotographers.com is a site dedicated to all of you awesome Milky Way chasing, sleep ignoring, wide open aperture loving crazy people who understand it when we say, "Sorry, my schedule is full. It's a New Moon!"
MilkyWayPhotographers.com is a creation of Photog Adventures! At Photog Adventures we are all about sharing your adventure stories! Get out there and have a Photog Adventure of your own!