DH has managed to knock over an old can of oil all over himself. Bin or wash? He’s not that fussed about the jeans but I don’t want to wreck my machine!!