On May 28, 11:35*am, Tim Wescott wrote:

I think I'll try hot, then boiling water with hand dishwashing
detergent, then hot and boiling water with Cascade if the hand stuff
doesn't do the job.

Petroleum jelly, like heavy grease, doesn't (in my experience)
emulsify well with normal detergents; it's easy to get loose
with whatever is in waterless hand cleaner, though.
I've also used the waterless hand cleaner mixed with water
(it turns milky) in an ultrasonic cleaner, it's a good degrease
solution. The water is key to getting rid of that ZnCl2, or
you could just use mineral spirits.