Also for the future, try lacquer thinner as opposed to paint thinner/mineral spirits/kerosene/#2 deisel. Nail-polish remover/thinner is probably lacquer thinner. Everyone should have some "Goo-Gone" and "Goof-Off" both around the house but careful on some plastics with them! And if you have Fresh, Gummy adhesive to get off of sound cables and the like - get more tape! Really - fresh tape of the same type, stuck onto the offending residue briefly and then pulled back off, will frequently convince the residue to become one with the new tape's adhesive layer. This is zen and the art of cable-cleaning from a sound geek...and watch out for those Volatile Organic Compounds in poorly-ventilated areas. There are much more satisfying and entertaining ways to kill those surplus brain cells. End of dad-lecture # 27.