I just followed a couple of Brazilians on gunbroker one of which looked fair, and went for under $400. Another, with no import marking, in really nice shape was, IIRC, $500 range.
I have been working on a Brazillian "Project" gun, rebarreling my 1937 to 3 1/4".
So far, I am very happy with it, a few details left to complete, but it shoots just fine, and is a joy. I like to handload the .45 Auto Rim cartridge, but of course it will take ordinary .45 ACP as well.
Best Regards, Les