What did I just read? Let's see..some vinegar, a few drops of lemon juice and 2 drops of dish washing detergent in a small micro-bowl. I think you put that in for like 2 mins. and then let it sit for like 3-5 mins. maybe... I think that might help clean up the smell & if not, I thnk that is the recipe for actually cleaning on any dried splatters in your microwave.
I have no idea why I am making this post when I don't know for sure which this is for... but I think it'll clean the micro nicely if nothing else. Maybe I should go on to bed... LOL