I'd try an orange-oil cleaner, such as De-Solv-It first. It has worked better than the petroleum-distillate products mentioned for me and isn't toxic. There's a lot of worthless stuff that contains just enough orange oil for scent, not enough to dissolve anything.