im looking for DISS gas outlets that are made in Korea. i am into gas pipeallation in hospitals here in Manila. i used before made in China like GENTEC and BMI but now im looking for other best alternatives and ro be source outs. thank you, bong m. fresto