Well no, their token is a token as you said, it means it is registered on a third-party blockchain, and the security computations, mining, is made by this blockchain. Their token so do not need to be mined for security.

Hoping I have enlighted you a bit. Have a nice day.