An inexperienced technician from a service company used diesel to clean some part of our anesthesia machine. Now the smell of diesel is coming out of the common gas outlet.

How to solve this problem?