Depends on the rest of your team, you fixtures and position overall. I'd rather try to manage with a lower star player than use those tokens.

There are 2 ways I'd approach it if I was short of cash. Sell others to raise cash to buy a replacement then sell him to replace the other(s) or take a risk and sell him if I thought I could get a replacement in time/manage without him for a period.

But the correct answer is the one that u make after considering everything - if its right for you its right.