A lot of the tools needed for servicing scuba equipment, e.g., these officially recommended wrenches, are greasy with some sort of oily substance that probably contains lots of hydrocarbons and needs to be removed before touching the equipment. I would assume that if I just drop these tools in an ultrasonic bath, it will remove the protective layer and cause them to rust or not function properly. What do you do instead, apply an O2-safe lube on the tools?