I think I want another Commander-Sized Pistol, but a 9mm this time. I have a Ruger SR1911, stainless, so this one needs to be blued. Leaning towards the Colt O4842XE. I can get one new for like $850. What others in 9mm, Commander-Size should I look at around the same price range?