Sometimes TPCloud does not sync the live data for Tokens when you log in, so please when you think things are a little out of whack, press the 'Refresh' option next to 'Add Token' and that will prompt TPCloud to request current data from our licensing server.

Also, for future reference, without requesting a deautherisation first, you can use the on-device 'Token Registration' option to register replacement devices (or if the old device has changed it's TPC Device ID), and when prompted that the Token is in use with another device, press Submit again.