Only 5000 were issued in the first release in 2017. There must have been more issued since then.