Yup, for my altitude (825m) the 12 minute cook times are about spot on. And I do prefer my noodles to be more al dente. I don't even mind if they have a little crunch.