I looked on GunPorker and did not see where any were available nor had sold where the price was still up.
I figured $450.00 or so with the gear.
Typically $700 plus with a few going for ridiculous amounts. Curiously the 439 can still be found somewhat reasonable. The 39-2 has gotten popular in recent years as well.