Had someone tell me their grill caught on fire, and now he wants the smoke stains removed from the stucco. Any suggestions of how to do this? I'm thinking this would work better if I had hot water... I would think it would need more than just house wash mix. Maybe if I hit it with a little F9? I tried to get him to email pictures, but haven't got them yet.