I have two and have handled probably another two or three. The assembly numbers Gxxx seem to indicate at least 3500 were made. That said, I have never seen any published information as to numbers produced.