If the #9 doesn't do the trick, then maybe an extended soak in a can of auto parts cleaner. They sell those 1 gallon cans of it with a little basket. It's not as nasty (and therefore not as effective) as the stuff from the old days, but it still seems to be able to loosen heavy gunk. (Gunk may be the brand I think). Gloves still a good idea.