I have one my dad brought back home from WW2. They have a good reputation, and were (are?) popular with pinshooters, so magazines are more available than you would think. I believe I got one from Sportsmans Guide as couple of years ago.
Like with everything else, quality slipped on models produced near the end of the war.