Before revision:  We  show that existing convergence results for quantile estimators may be directly converted to convergence results for production sets  .
After revision:  We characterize the identified set for production sets, and provide conditions that ensure point identification. We present a general computationally-feasible framework for sharp counterfactual bounds, such as bounds on quantities at a counterfactual price. We show that existing convergence results for quantile estimators may be directly converted to convergence results for production sets .