High pressure gas quenching