Some warm water and a tooth brush may do the trick. Sometimes wiping it down doesn't do enough. Mix a little soap in the water if the water isn't enough, but I'd wager it just needs a little scrubbing and it will come out fine. You may even want to just use the #40 and the tooth brush. That will probably work too. The tooth brush is really the secret weapon on this kind of thing. You need a new one anyway, right?