7/21/2023 Estimated DRS count: 76,969,713 (using DRSbot total x 4.272)
7/21/2023 Minus 1.2m Mainstar: 75,699,147
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
7/21/2023 Estimated DRS count: 76,969,713 (using DRSbot total x 4.272)
7/21/2023 Minus 1.2m Mainstar: 75,699,147
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
I hope everyone who was using Mainstar is able to re-DRS their shares.