So I found a PT940 for sale at a local shop for $399. It has a few nicks here and there and looks like it was somebody's carry gun.
When I went to budsgunshop to check the price on a new one, I found this picture.
(made in Miami FL)
I could swear the one at the shop said Brazil on it.
If it was made in Brazil... would that be an earlier gun, and if so, any reason to avoid it?