oil quenching system