9/1/2023 Estimated DRS count: 77,161,471 (using DRSbot total x 4.272)
9/1/2023 Estimated DRS count minus 1,270,566 Mainstar rugpull shares: 75,890,905
The 4.272 multiplier comes from 6/1/2023 Form 10-Q divided by DRSbot 6/1/2023 total: 76,600,000 / 17,928,960 = 4.272
Had the same thought, Mainstar DRS pulled .