I stupidly stuck Dh’s work trousers in the washing machine, he’d spilled some diesel on them. Well the smell didn’t go and now the washing machine stinks of fuel. I’ve put the drum on a hot wash but no difference. How can I get rid of it?