Hello everyone,
I have a question for the more experienced growers and that is: is mineral oil toxic for orchids? To explain, I left my orchids in the care of a friend while I was away for a few weeks. During that time I had a thrip infestation (well spotted by my friend, I can see the damage on the leaves) but right before I came home she decided to take matters into her own hands and sprayed them with mineral oil aka baby oil. Now, I don’t know just how much of it, but they look mighty glossy and smell of lavander

This was two days ago. None died yet and I showered them with water to clean some of that off but now I am not sure if I should take more drastic measures or prepare mentally for a bunch of them to die.
Thank you!