Here's a possibly more practical suggestion: how about trying some of that citrus based hand cleaner intended for mechanics to use removing oil/grease? The stuff with some pumice (fine grit) in it?

I use it around here for cleaning quite a few tough stains as well as for after working on the car.

Cheers