If it were a coca extract, it would have to be a home-made one, no? Those extracts are alcohol based, and according to Ben, there is no alcohol in Boba's. Meaning someone would have to buy/grow the leaves, and make the extract themselves.
That, or, if they are using coca, perhaps from coca tea...