Buds has the Italian BF92 but it is blued, not stainless. You are going to pay a premium for any stainless BF92 because they are rare.
I was considering a 9mm 1911 but I have decided to get a BF92 myself. I just want a quality pistol with a 5" barrel I can shoot in single action. I have an XD that I am going to retire to the truck or only shoot the XD when I get a brain locked range/safety officer.
What is a BF92? A search turns up not very much, and a few vague foreign references. And I may be wrong, but the 92 series isn't blued, it's their Bruniton finish…
Further search indicates a "B" for firing pin block, and an "F" for govt. model. Used to be blued, not anymore.