¿De dónde salieron los precios del gas en boca de pozo?