8/18/2023 Estimated DRS count: 77,074,450 (using DRSbot total x 4.272)

8/18/2023 Minus 1,270,566 Mainstar shares: 75,803,884

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