Tools have spent 2 rounds in a tub with kerosene and dawn detergent. Both times the water turned to inky black filth. I will be taking out the tools tomorrow and drying them off. I'm a little concerned that once dried and exposed they will rust very quickly. I believe most of the tools are zinc plated (but not exactly sure). After removing the tools tomorrow would it be a good idea to lightly coat them with oil, WD40, ?, or nothing at all.