I could be wrong on this, but it was something like "Easy Off Oven Cleaner" or something like that. As I recall, he reported that it worked quite well. I'll have to go back and check my archives, but I think that might be right. But please, don't try it at home until that's confirmed.
I could be completely wrong.