Gunsmiths often would XX out choke if they shortened the barrels or opened them up. .005 and .020are very useful chokes, for a lot of shooting, and sounds like you found a nice gun to shoot. Some like ejectors but I find them only marginally useful. My shooting is rarely so hot and heavy I need help getting empties out of the chamber for faster reloading. While I like the 1894's a bit more than the 1900 that just may be my bias for the fore ends on them. Remington's were a well made double and much undervalued in my travels.
My hunting gun, shown on these pages many many years ago(Mike Petrov identified the maker, Heym, by the s/n) needed Briley chokes to fix the screw up of another prominent choke company.....
I installed the .015" and .005" tubes and have never changed them.
Also an ejector gun, I agree, for my shooting they aren't a necessity, but the mechanism is just nice to admire.
