I have an Empire Builder and took a bottle of Johnson's Baby Oil wrapped in a plastic bag in the main compartment during travel today. Unfortunately due to the pressure, some of the oil leaked and has come in contact with the file divider and the bottom of the bag (there is a couple of small blots).
I think I will run some warm water over the divider, but what can I do about the insider of the bag? Should I give it a good washing as well? Do let me know, since I do not want to ruin it.