Piped cooking gas supply