Interesting, not had that yet, a scrubbing sponge gets the job done quick for the stubborn bits I've encountered, but at least for me it's seldom I need to use it.
Watch out with scrubbing sponges though. Assuming it's one of those sponges that has a rough and a smooth side, sometimes the rough side contains abrasives (sand?) that will leave marks on stainless steel!
