He showed me how to sharpen a stick to the right point, and use it to pry the pine nuts out. They pop out if you get up under them with the point, much like a bird's beak.
I got about 3-4 cups total from this pile of cones, and left them in the shell, in a bag in the cupboard. They're pretty big when shelled, and have such a wonderfully fresh and light pine flavor.