I don't know how many but there would be 1,000's.

TR KING - Opened in 1924
TR King - USPC made the large crowns for TR King as late 1929, when 9,000 chips were delivered.
TR KING had new Lcrown molds made in 1938. 2 plates that made 25 chips each at a cost of $10,000.
TR King - 1st known records of actual chip production is 1936
TR KING-Paul Endy SR bought it from Milton Anderson in late 57. -Teddy Roosevelt and the crown mold =TR KING
TR KING stopped selling in NV Jan. 25, 1974