if I open https://dao.casino    I see the ticker:  01:51 and some seconds..     if I open the website with a VPN so in another timezone the ticker says there are still 8:49 minutes (8 hours and 49 minutes to buy before 1800)  !!!!!

So this ticker seems different for everybody in different time zones!!

So what will be the total amount of tokens out there?  And will there be extra tokens mined or any other way of more tokens?

is it correct that there will be roughly around 130.000.000 tokens out there??  or there will be mined more?