What you end up doing depends on things like the date of the coin, type, grade, etc. Not sure what you originally paid but having it reslabbed could end up costing more than the coin is worth. You only said it's Red. Not much of a description. And too if it's a standard date, nothing rare, then might just not be worth the troubles.
One simple solution would be to break it out and dip it in Acetone. If that doesn't work, not much loss and if you still resend it to a TPGS, not considerd cleaning.